Reset Filters
Filter Related Topics: Logic programming
Filter Related Topics within your search.
Logic programming Congresses 64 Artificial intelligence 22 Automatic theorem proving 19 Functional programming (Computer science) 17 Constraint programming (Computer science) 15 Programmation logique 15 more ...
162
Logic programming and non-monotonic reasoning proceedings of the first international workshop

Cover is for reference only
Corporate Authors: Association for Logic Programming
Group Author: Nerode Anil 1932-; Marek Wiktor; Subrahmanian V. S
Published: MIT Press,
Publication Dates: [1991]
Call Number: TP311-53/L832/1991/
Book
Save to List
Saved in:
164
Logic programming systematic program development

Cover is for reference only
Main Authors: Deville Yves 1960-
Published: Addison-Wesley,
Publication Dates: c1990.
Call Number: TP311/D494/
Book
Save to List
Saved in:
167
Prolog versus you an introduction to logic programming

Cover is for reference only
Main Authors: Johansson Anna-Lena, 1951-
Group Author: Eriksson-Granskog Agneta, 1957-; Edman Anneli, 1952-
Published: Springer-Verlag,
Publication Dates: c1989.
Call Number: TP312PR/J65/
Book
Save to List
Saved in:
168
Parallel logic programming techniques

Cover is for reference only
Main Authors: Taylor Stephen, 1956-
Published: Prentice Hall,
Publication Dates: c1989.
Call Number: TP338.6/T246/
Book
Save to List
Saved in:
169
Logic for computer scientists

Cover is for reference only
Main Authors: Sch鑟ning Uwe 1955-
Published: Birkhäuser,
Publication Dates: 1989.
Call Number: O141/S371/
Book
Save to List
Saved in:
170
Meta-programming in logic programming

Cover is for reference only
Corporate Authors: META88 (1988 University of Bristol)
Group Author: Abramson Harvey; Rogers M. H 1930-
Published: MIT Press,
Publication Dates: c1989.
Book
Save to List
Saved in:
171
Interactive relational database design a logic programming implementation

Cover is for reference only
Main Authors: Bagchi Tapan P
Group Author: Chaudhri Vinay K
Published: Springer-Verlag,
Publication Dates: c1989.
Call Number: TP311.13/B144/
Book
Save to List
Saved in:
172
Logic programming proceedings of the North American Conference 1989

Cover is for reference only
Group Author: Lusk Ewing L; Overbeek Ross A
Published: MIT Press,
Publication Dates: c1989.
Call Number: TP18-53/L832/1989/
Book
Save to List
Saved in:
173
Why Prolog? justifying logic programming for practical applications

Cover is for reference only
Main Authors: Lazarev Gregory L.
Published: Prentice Hall,
Publication Dates: c1989.
Call Number: TP312PR/L431/
Book
Save to List
Saved in:
174
Constraint satisfaction in logic programming

Cover is for reference only
Main Authors: Van Hentenryck Pascal
Published: MIT Press,
Publication Dates: c1989.
Call Number: TP311/V254/
Book
Save to List
Saved in:
175
Logic grammars with 40 illustrations

Cover is for reference only
Main Authors: Abramson Harvey
Group Author: Dahl Veronica 1950-
Published: Springer-Verlag,
Publication Dates: c1989.
Call Number: TP31/A161/
Book
Save to List
Saved in:
176
Foundations of deductive databases and logic programming /

Cover is for reference only
Corporate Authors: Elsevier Science & Technology.
Group Author: Apt, Krzysztof R., 1949-; Minker, Jack
Published: M. Kaufmann Publishers,
Publication Dates: 1988.
eBook
Save to List
Saved in:
177
Logic programming proceedings of the fifth International Conference and Symposium

Cover is for reference only
Group Author: Kowalski Robert; Bowen Kenneth A
Published: MIT Press,
Publication Dates: c1988.
Call Number: TP31-53/L832.3/1988/
Book
Save to List
Saved in:
180
Parallel logic programming in PARLOG the language and its implementation

Cover is for reference only
Main Authors: Gregory Steve.
Published: Addison-Wesley Pub. Co.,
Publication Dates: c1987.
Call Number: TP312/G823/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —