From logic to logic programming View on Open Library

From logic to logic programming

by Kees Doets

No reviews yet
First published: 1994 1 language ISBN: 9780262339162
Subjects
Logic programming Wiskundige logica Langages de programmation Resolventenprinzip Programmation logique Logisch programmeren Logique

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Kees Doets

Swords and sustenance

Swords and sustenance

Basic model theory

Basic model theory

Haskell Road to Logic, Maths and Programming. Second Edition

Haskell Road to Logic, Maths and Program...

Completeness and definability

Completeness and definability

You Might Also Like

More in Logic programming
Evaluation of Novel Approaches to Software Engineering

Evaluation of Novel Approaches to Softwa...

Leszek A. Maciaszek
Information and Communication Technologies in Education, Research, and Industrial Applications

Information and Communication Technologi...

Vadim Ermolayev
Reachability Problems

Reachability Problems

Parosh Aziz Abdulla
Membrane Computing

Membrane Computing

Marian Gheorghe
Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Langua...

Shaoying Liu
Programming in Prolog

Programming in Prolog

William F. Clocksin