Negation and Control in Prolog /

Adventure in Prolog /
by: Merritt, Dennis
Published: (1990)

Negation and control in Prolog /
by: Naish, Lee, 1960-
Published: (1986)

Prolog: The Standard : Reference Manual /
by: Deransart, Pierre
Published: (1996)

Programming in Prolog : Using the ISO Standard /
by: Clocksin, William F.
Published: (2003)

PROLOG for Computer Science /
by: Dawe, M. S.
Published: (1994)

An Introduction to Programming in Prolog /
by: Saint-Dizier, Patrick
Published: (1990)

Prolog by Example : How to Learn, Teach and Use It /
by: Coelho, Helder
Published: (1988)

Prolog Versus You : an Introduction to Logic Programming /
by: Johansson, Anna-Lena
Published: (1989)

Building Expert Systems in Prolog /
by: Merritt, Dennis
Published: (1989)

Programming in Prolog /
by: Clocksin, William F.
Published: (1984)

A High Performance Architecture for Prolog /
by: Dobry, T. P.
Published: (1990)

Intelligent Image Processing in Prolog /
by: Batchelor, Bruce G.
Published: (1991)

Applied and Computational Control, Signals, and Circuits : Volume 1 /
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)

Stochastic Differential Systems I : Filtering and Control A Function Space Approach /
by: Balakrishnan, A. V.
Published: (1973)

Essential Visual Basic 5.0 Fast : Includes ActiveX Control Development /
by: Cowell, John
Published: (1997)

Integration, Coordination and Control of Multi-Sensor Robot Systems /
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)

A Guide to Modula-2 /
by: Christian, Kaare
Published: (1986)

Semirings, Automata, Languages /
by: Kuich, Werner
Published: (1986)

Products of Automata /
by: Gécseg, F.
Published: (1986)

Advanced Debugging Methods /
by: Lencevicius, Raimondas
Published: (2000)

Switching Machines : Volume 1: Combinational Systems Introduction to Sequential Systems /
by: Perrin, J.-P
Published: (1972)

Programming in Dylan /
by: Craig, Iain D.
Published: (1997)

Confluent String Rewriting /
by: Jantzen, Matthias
Published: (1988)

Problems and Methods of Optimal Structural Design /
by: Banichuk, N. V.
Published: (1983)

Phenomena Induced by Intermolecular Interactions /
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)

ANNA A Language for Annotating Ada Programs : Reference Manual /
by: Luckham, David C.
Published: (1987)

First Steps in Mathematica /
by: Burkhardt, Werner
Published: (1994)

Fundamentals of Programming Languages /
by: Horowitz, Ellis
Published: (1982)

Elementary Functions : Algorithms and Implementation /
by: Muller, Jean-Michel
Published: (1997)

The Interpretation of Object-Oriented Programming Languages /
by: Craig, I.
Published: (2000)

ADA® : An Introduction /
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)

Efficient Polymorphic Calls /
by: Driesen, Karel
Published: (2001)