Negation and Control in Prolog /
| Main Author: | Naish, Lee |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
1986.
|
| Series: | Lecture notes in computer science ;
238. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Memory Performance of Prolog Architectures /
by: Tick, Evan
Published: (1987)
by: Tick, Evan
Published: (1987)
Programming in Prolog /
by: Clocksin, William F.
Published: (1984)
by: Clocksin, William F.
Published: (1984)
Programming in Prolog /
by: Clocksin, William F.
Published: (1994)
by: Clocksin, William F.
Published: (1994)
Programming in Prolog /
by: Clocksin, William F.
Published: (1987)
by: Clocksin, William F.
Published: (1987)
Adventure in Prolog /
by: Merritt, Dennis
Published: (1990)
by: Merritt, Dennis
Published: (1990)
Negation and control in Prolog /
by: Naish, Lee, 1960-
Published: (1986)
by: Naish, Lee, 1960-
Published: (1986)
Prolog: The Standard : Reference Manual /
by: Deransart, Pierre
Published: (1996)
by: Deransart, Pierre
Published: (1996)
Programming in Prolog : Using the ISO Standard /
by: Clocksin, William F.
Published: (2003)
by: Clocksin, William F.
Published: (2003)
PROLOG for Computer Science /
by: Dawe, M. S.
Published: (1994)
by: Dawe, M. S.
Published: (1994)
An Introduction to Programming in Prolog /
by: Saint-Dizier, Patrick
Published: (1990)
by: Saint-Dizier, Patrick
Published: (1990)
Prolog by Example : How to Learn, Teach and Use It /
by: Coelho, Helder
Published: (1988)
by: Coelho, Helder
Published: (1988)
Prolog Versus You : an Introduction to Logic Programming /
by: Johansson, Anna-Lena
Published: (1989)
by: Johansson, Anna-Lena
Published: (1989)
Building Expert Systems in Prolog /
by: Merritt, Dennis
Published: (1989)
by: Merritt, Dennis
Published: (1989)
Programming in Prolog /
by: Clocksin, William F.
Published: (1984)
by: Clocksin, William F.
Published: (1984)
A High Performance Architecture for Prolog /
by: Dobry, T. P.
Published: (1990)
by: Dobry, T. P.
Published: (1990)
Intelligent Image Processing in Prolog /
by: Batchelor, Bruce G.
Published: (1991)
by: Batchelor, Bruce G.
Published: (1991)
Applied and Computational Control, Signals, and Circuits : Volume 1 /
by: Datta, Biswa Nath
Published: (1999)
by: Datta, Biswa Nath
Published: (1999)
Control Theory, Numerical Methods and Computer Systems Modelling : International Symposium, Rocquencourt, June 17-21, 1974 /
by: Bensoussan, A.
Published: (1975)
by: Bensoussan, A.
Published: (1975)
Stochastic Differential Systems I : Filtering and Control A Function Space Approach /
by: Balakrishnan, A. V.
Published: (1973)
by: Balakrishnan, A. V.
Published: (1973)
Essential Visual Basic 5.0 Fast : Includes ActiveX Control Development /
by: Cowell, John
Published: (1997)
by: Cowell, John
Published: (1997)
Integration, Coordination and Control of Multi-Sensor Robot Systems /
by: Durrant-Whyte, Hugh F.
Published: (1987)
by: Durrant-Whyte, Hugh F.
Published: (1987)
Structure in Complexity Theory : Proceedings of the Conference held at the University of California, Berkeley, June 2-5, 1986 /
by: Selman, Alan L.
Published: (1986)
by: Selman, Alan L.
Published: (1986)
A Guide to Modula-2 /
by: Christian, Kaare
Published: (1986)
by: Christian, Kaare
Published: (1986)
Semirings, Automata, Languages /
by: Kuich, Werner
Published: (1986)
by: Kuich, Werner
Published: (1986)
Products of Automata /
by: Gécseg, F.
Published: (1986)
by: Gécseg, F.
Published: (1986)
Advanced Debugging Methods /
by: Lencevicius, Raimondas
Published: (2000)
by: Lencevicius, Raimondas
Published: (2000)
Switching Machines : Volume 1: Combinational Systems Introduction to Sequential Systems /
by: Perrin, J.-P
Published: (1972)
by: Perrin, J.-P
Published: (1972)
Programming in Dylan /
by: Craig, Iain D.
Published: (1997)
by: Craig, Iain D.
Published: (1997)
Confluent String Rewriting /
by: Jantzen, Matthias
Published: (1988)
by: Jantzen, Matthias
Published: (1988)
Problems and Methods of Optimal Structural Design /
by: Banichuk, N. V.
Published: (1983)
by: Banichuk, N. V.
Published: (1983)
Phenomena Induced by Intermolecular Interactions /
by: Birnbaum, G.
Published: (1985)
by: Birnbaum, G.
Published: (1985)
Essential Visual J++ 6.0 fast : How to develop Java applications and applets with Visual J++ /
by: Cowell, John
Published: (1999)
by: Cowell, John
Published: (1999)
ANNA A Language for Annotating Ada Programs : Reference Manual /
by: Luckham, David C.
Published: (1987)
by: Luckham, David C.
Published: (1987)
First Steps in Mathematica /
by: Burkhardt, Werner
Published: (1994)
by: Burkhardt, Werner
Published: (1994)
Fundamentals of Programming Languages /
by: Horowitz, Ellis
Published: (1982)
by: Horowitz, Ellis
Published: (1982)
Elementary Functions : Algorithms and Implementation /
by: Muller, Jean-Michel
Published: (1997)
by: Muller, Jean-Michel
Published: (1997)
The Interpretation of Object-Oriented Programming Languages /
by: Craig, I.
Published: (2000)
by: Craig, I.
Published: (2000)
ADA® : An Introduction /
by: Ledgard, Henry
Published: (1983)
by: Ledgard, Henry
Published: (1983)
Design, Specification and Verification of Interactive Systems '97 : Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997 /
by: Harrison, Michael Douglas
Published: (1997)
by: Harrison, Michael Douglas
Published: (1997)
Efficient Polymorphic Calls /
by: Driesen, Karel
Published: (2001)
by: Driesen, Karel
Published: (2001)