1. Номууд
  2. Logic
  3. 1993
Live Data Structures in Logic Programs

Live Data Structures in Logic Programs

урөд Anne Mulkers
3/5
Анх хэвлэгдэн гарсан
1993
Хэвлэн нийтлэгчид
Springer Berlin Heidelberg
Субъектууд
Logic design·Logics and meanings of programs·Computer science·Programming languages·Compilers·Interpreters·Computer science·Artificial intelligence·Artificial intelligence

Номууд

Anne Opotowsky-Listening to the Hundredfold Notes of the Avowed Nightingales

Listening to the Hundredfold Notes of the Avowed Nightingales

Anne Opotowsky

Anne Nesbet-Box of Gargoyles

Box of Gargoyles

Anne Nesbet

Anne Rodgers-Early Years Professional Status

Early Years Professional Status

Anne Rodgers

Katherine Anne Porter-Pale Horse, Pale Rider

Pale Horse, Pale Rider

Katherine Anne Porter

Victoria Anne Farrar-Myers-President and the Presidency

President and the Presidency

Victoria Anne Farrar-Myers

Therese Anne Fowler-Well-Behaved Woman

Well-Behaved Woman

Therese Anne Fowler

Anne Kraft-Exercises Manual for Biology LABORATORY; Report Templates for LABORATORY MANUAL - PART ONE

Exercises Manual for Biology LABORATORY; Report Templates for LABORATORY MANUAL - PART ONE

Anne Kraft

Sally Anne Lambert-Mice in the Churchyard

Mice in the Churchyard

Sally Anne Lambert

Anne Walter-Dual Language Readers : Goldilocks a Dual Language Readers

Dual Language Readers : Goldilocks a Dual Language Readers

Anne Walter

Anne Walter-Dual Language Readers : Sleeping Bea Dual Language Readers

Dual Language Readers : Sleeping Bea Dual Language Readers

Anne Walter

Anne Perry-Christmas Homecoming

Christmas Homecoming

Anne Perry

Anne-Marie Imafidon-Untitled

Untitled

Anne-Marie Imafidon

Anne Perry-Dorchester Terrace

Dorchester Terrace

Anne Perry

Anne Perry-Sheen on the Silk

Sheen on the Silk

Anne Perry

Anne Morris-Ardor

Ardor

Anne Morris

Anne Pollok-Debating the Human Vocation in German Philosophy

Debating the Human Vocation in German Philosophy

Anne Pollok

Anne Aiyegbusi-On the Front Line Working with Personality Disordered Offenders

On the Front Line Working with Personality Disordered Offenders

Anne Aiyegbusi

Anne Rooney-The Story of Humans

The Story of Humans

Anne Rooney

Anne Ake-Everglades

Everglades

Anne Ake

Anne Henry-Maring the Text : The Presentation of Meaning on the Literary Page

Maring the Text : The Presentation of Meaning on the Literary Page

Anne Henry

Anne Dillon-Construction of Martyrdom in the English Catholic Community

Construction of Martyrdom in the English Catholic Community

Anne Dillon

Anne Stewart-Angry Planet

Angry Planet

Anne Stewart

Anne Phyfe Palmer-My Baby's Book

My Baby's Book

Anne Phyfe Palmer

Anne Waldman-Bard, Kinetic

Bard, Kinetic

Anne Waldman

Meg Anne-Court of Death and Dreams

Court of Death and Dreams

Meg Anne

Anne Youngson-Complicated Matter

Complicated Matter

Anne Youngson

Anne Stewart-Angry Planet

Angry Planet

Anne Stewart

Anne-Marie Imafidon-She's in CTRL

She's in CTRL

Anne-Marie Imafidon

Anne Rooney-Visual Timelines : Science

Visual Timelines : Science

Anne Rooney

Anne B. Bennett-Management of Philanthropic Funding for Institutional Stabilization

Management of Philanthropic Funding for Institutional Stabilization

Anne B. Bennett

Anne Kelley-Catharine Trotter : An Early Modern Writer in the Vanguard of Feminism

Catharine Trotter : An Early Modern Writer in the Vanguard of Feminism

Anne Kelley

Anne MacReynold-Bloodline

Bloodline

Anne MacReynold

Katherine Anne Ackley-Misogyny in Literature

Misogyny in Literature

Katherine Anne Ackley

Katherine Anne Ackley-Misogyny in Literature

Misogyny in Literature

Katherine Anne Ackley

Stephanie Anne Box-What Will Be Born?

What Will Be Born?

Stephanie Anne Box

Anne Ortner-Sammlungsbezogene Geschichtsschreibungen

Sammlungsbezogene Geschichtsschreibungen

Anne Ortner

Anne Creatte-Let's Cook Something Cool

Let's Cook Something Cool

Anne Creatte

Anne Curry-Soldier's Chronicle of the Hundred Years War

Soldier's Chronicle of the Hundred Years War

Anne Curry

Anne Katz-Caring for a Young Person with Cancer

Caring for a Young Person with Cancer

Anne Katz

Anne Perry-Three Debts Paid

Three Debts Paid

Anne Perry

Anne Leigh Parrish-Open Door

Open Door

Anne Leigh Parrish

Anne Kemp-Sugar City Secrets

Sugar City Secrets

Anne Kemp

Anne Booth-Small Miracles

Small Miracles

Anne Booth

Anne Stensvold-Blasphemies Compared

Blasphemies Compared

Anne Stensvold

Anne Wheeler-Vortex

Vortex

Anne Wheeler

Anne Bogel-My Reading Adventures

My Reading Adventures

Anne Bogel

Shelley Anne Richter-Bigfoot and the Gold Star Kid

Bigfoot and the Gold Star Kid

Shelley Anne Richter

Anne Giulieri-My Little Cake

My Little Cake

Anne Giulieri

Anne Sefrioui-Kingfisher on a Lotus Flower

Kingfisher on a Lotus Flower

Anne Sefrioui

Anne-Sofie Ahm-Local and Global Controls on Carbon Isotope Chemostratigraphy

Local and Global Controls on Carbon Isotope Chemostratigraphy

Anne-Sofie Ahm

Anne O. Papalia-Service Animals in Schools

Service Animals in Schools

Anne O. Papalia

Anne Katz-Caring for a Young Person with Cancer

Caring for a Young Person with Cancer

Anne Katz

Anne Meeker Watson-I LOVE LEARNING! LANGUAGE, LITERACY and MATH Educator Multi-Book Kit (Bilingual Edition - Spanish)

I LOVE LEARNING! LANGUAGE, LITERACY and MATH Educator Multi-Book Kit (Bilingual Edition - Spanish)

Anne Meeker Watson

Anne Zoe-My Problem and How I Solved It : Osteoarthritis

My Problem and How I Solved It : Osteoarthritis

Anne Zoe

Kerrie-Anne Bradley-Move More At Your Desk

Move More At Your Desk

Kerrie-Anne Bradley

Mary Anne O'Connor-Worth Fighting For

Worth Fighting For

Mary Anne O'Connor

Anne Welsh-Cataloguing and Decision-Making in a Hybrid Environment

Cataloguing and Decision-Making in a Hybrid Environment

Anne Welsh

Anne Lise Marstrand-Jørgensen-Hildegarda

Hildegarda

Anne Lise Marstrand-Jørgensen

Kerry Anne King-Improbably Yours

Improbably Yours

Kerry Anne King

Anne Watson-Care in Mathematics Education

Care in Mathematics Education

Anne Watson

Үүнтэй төстэй номууд

P. H. Nidditch-Development of Mathematical Logic

Development of Mathematical Logic

P. H. Nidditch

Edoardo Fittipaldi-Revisiting Searle on Deriving Ought from Is

Revisiting Searle on Deriving Ought from Is

Edoardo Fittipaldi

Andrew Paul Ushenko-Problems of Logic

Problems of Logic

Andrew Paul Ushenko

Simo Knuuttila-Modalities in Medieval Philosophy

Modalities in Medieval Philosophy

Simo Knuuttila

Daniel S. Levine-Healing the Reason-Emotion Split

Healing the Reason-Emotion Split

Daniel S. Levine

Pil Edited-Brain Games Sudoku Puzzles Arrow

Brain Games Sudoku Puzzles Arrow

Pil Edited

Uygar Abaci-Kant's Revolutionary Theory of Modality

Kant's Revolutionary Theory of Modality

Uygar Abaci

Katalin Bimbo-Mathematical Logic

Mathematical Logic

Katalin Bimbo

Jan Wolenski-Logic and Its Philosophy

Logic and Its Philosophy

Jan Wolenski

Yuk Hui-Recursivity and Contingency

Recursivity and Contingency

Yuk Hui

Yuk Hui-Recursivity and Contingency

Recursivity and Contingency

Yuk Hui

Ivano Ciardelli-Inquisitive Semantics

Inquisitive Semantics

Ivano Ciardelli

Brendan Dooley-Continued Exercise of Reason

Continued Exercise of Reason

Brendan Dooley

Nitsa Movshovitz-Hadar-Logic in Wonderland an Intro T

Logic in Wonderland an Intro T

Nitsa Movshovitz-Hadar

Nicolas A. Pereyra-Logic for Physicists

Logic for Physicists

Nicolas A. Pereyra

Martin Fransson-Public Service Dominant Logic

Public Service Dominant Logic

Martin Fransson

Manuel Lerman-Degrees of Unsolvability

Degrees of Unsolvability

Manuel Lerman

Aldo Ursini-Logic and Algebra

Logic and Algebra

Aldo Ursini

Fanzhang Li-Dynamic Fuzzy Machine Learning

Dynamic Fuzzy Machine Learning

Fanzhang Li

Juhani Yli-Vakkuri-Williamson on Modality

Williamson on Modality

Juhani Yli-Vakkuri

René Cori-Logic Colloquium 2000

Logic Colloquium 2000

René Cori

Harry J. Gensler-Introduction to Logic

Introduction to Logic

Harry J. Gensler

Francine F. Abeles-Modern Logic 1850-1950, East and West

Modern Logic 1850-1950, East and West

Francine F. Abeles

W. H. Newton-Smith-Logic

Logic

W. H. Newton-Smith

David Romano-Make

Make

David Romano

Tim Conley-Joyces Mistakes

Joyces Mistakes

Tim Conley

Frans H. van Eemeren-Argumentation, Communication, and Fallacies

Argumentation, Communication, and Fallacies

Frans H. van Eemeren

Georg Wilhelm Fredrich Hegel-Georg Wilhelm Friedrich Hegel

Georg Wilhelm Friedrich Hegel

Georg Wilhelm Fredrich Hegel

Trenton Merricks-Propositions

Propositions

Trenton Merricks

Rudolf Seising-Towards the Future of Fuzzy Logic

Towards the Future of Fuzzy Logic

Rudolf Seising

Syraya Chin-Mu Yang-Structural Analysis of Non-Classical Logics

Structural Analysis of Non-Classical Logics

Syraya Chin-Mu Yang

Aristóteles-Hermeneutik / Peri Hermeneias

Hermeneutik / Peri Hermeneias

Aristóteles

Yves Bouchard-Calcul en logique du premier ordre

Calcul en logique du premier ordre

Yves Bouchard

Jonathan Barnes undifferentiated-Alexander of Aphrodisias

Alexander of Aphrodisias

Jonathan Barnes undifferentiated

Terence Parsons-Articulating Medieval Logic

Articulating Medieval Logic

Terence Parsons

Leon Chwistek-Limits of Science

Limits of Science

Leon Chwistek

Dagfinn Follesdal-Referential Opacity and Modal Logic

Referential Opacity and Modal Logic

Dagfinn Follesdal

Charles Parsons-Philosophy of Mathematics in the Twentieth Century

Philosophy of Mathematics in the Twentieth Century

Charles Parsons

Franco Montagna-Petr Hájek on Mathematical Fuzzy Logic

Petr Hájek on Mathematical Fuzzy Logic

Franco Montagna

Dov M. Gabbay-Computational Logic

Computational Logic

Dov M. Gabbay

Michal Zawidzki-Deductive Systems and the Decidability Problem for Hybrid Logics

Deductive Systems and the Decidability Problem for Hybrid Logics

Michal Zawidzki

Jan von Plato-Elements of Logical Reasoning

Elements of Logical Reasoning

Jan von Plato

Stewart Shapiro-Varieties of Logic

Varieties of Logic

Stewart Shapiro

Leo Hoye-Hoye

Hoye

Leo Hoye

Stephen Muggleton-Latest Advances in Inductive Logic Programming

Latest Advances in Inductive Logic Programming

Stephen Muggleton

Stephen Brown-Fundamentals of Digital Logic with Verilog Design

Fundamentals of Digital Logic with Verilog Design

Stephen Brown

Felipe Schwember Augier-Libertad, derecho y propiedad

Libertad, derecho y propiedad

Felipe Schwember Augier

David Pole-Conditions of Rational Inquiry

Conditions of Rational Inquiry

David Pole

Zhenyu Luo-Luo ji si wei

Luo ji si wei

Zhenyu Luo

Spain) UIMP-RSME Lluis Santaló Summer (2012 Santander-Recent advances in real complexity and computation

Recent advances in real complexity and computation

Spain) UIMP-RSME Lluis Santaló Summer (2012 Santander

Alison Scott-Baumann-Ricoeur and the Negation of Happiness

Ricoeur and the Negation of Happiness

Alison Scott-Baumann

Marne Ventura-Gross brain teasers

Gross brain teasers

Marne Ventura

Giancarlo Mauri-Unconventional Computation and Natural Computation

Unconventional Computation and Natural Computation

Giancarlo Mauri

Raymond M. Smullyan-The Gödelian puzzle book

The Gödelian puzzle book

Raymond M. Smullyan

Thomas Eiter-Reasoning Web. Semantic Technologies for Advanced Query Answering

Reasoning Web. Semantic Technologies for Advanced Query Answering

Thomas Eiter

Claudio Russo-Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

Claudio Russo

Achim D. Brucker-Tests and Proofs

Tests and Proofs

Achim D. Brucker

Richard Lassaigne-Logic and Complexity

Logic and Complexity

Richard Lassaigne

Harvey F. Silver-Inference

Inference

Harvey F. Silver

Yuelin Jin-Luo ji

Luo ji

Yuelin Jin