"Equational Logic Programming" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Foundations of Equational Logic Programming	Steffen Hölldobler	1989	Springer Berlin Heidelberg
Equational logic as a programming language	O'Donnell, Michael J.	1985	MIT Press
Fuzzy Equational Logic	Radim Belohlávek; Vilem Vychodil	2005	Springer Berlin Heidelberg
Iteration Theories: The Equational Logic of Iterative Processes	Stephen L. Bloom; Zoltan Esik	1993	Springer Berlin Heidelberg
Automated Deduction in Equational Logic and Cubic Curves	W. McCune; R. Padmanabhan	1996	Springer Berlin Heidelberg
Programming logic	Marjorie Leeson	1988	Science Research Associates
Programming logic	Marjorie Leeson	1983	Science Research Associates
From Logic to Logic Programming	Kees Doets	1994	MIT Press
From Logic to Logic Programming	Kees Doets	1994	MIT Press,
Equational grammar	Gerald A. Sanders	1972	De Gruyter Mouton
Equational grammar	Gerald A. Sanders	1972	Mouton
Logic and Programming	Michel. Parent	1984	Springer US
Parallel logic programming	Evan Tick	1991	MIT Press
Logic Programming: The 1989 North American Conference (Logic Programming)	Ewing Lusk; Ross A. Overbeek	October 5, 1989	The MIT Press
Principles of Logic and Logic Programming	G. Metakides; A. Nerode	1996	North-Holland
The Equationally-Defined Commutator: A Study in Equational Logic and Algebra	Janusz Czelakowski	1st ed. 2015	Springer International Publishing
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming	Dov M Gabbay; C J Hogger; J A Robinson	1998	Oxford University Press
Canonical Equational Proofs	Leo Bachmair	1991	Birkhäuser Boston
Reasoning with Logic Programming	Jose Julio Alferes; Luis Moniz Pereira	1996	Springer Berlin Heidelberg
Probabilistic Inductive Logic Programming	Luc De Raedt; Paolo Frasconi; Kristian Kersting; Stephen H. Muggleton	2008	Springer Berlin Heidelberg
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Equational Logic Programming		Foundations of Equational Logic Programming	Steffen Hölldobler	1989	Springer Berlin Heidelberg
Equational Logic Programming	Michael J O’Donnell	Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming	Dov M Gabbay; C J Hogger; J A Robinson	1998	Oxford University Press
Equational Logic	J. Donald Monk	Mathematical Logic	J. Donald Monk	1976	Springer New York
Equational Logic	Wan Fokkink	Introduction to Process Algebra	Wan Fokkink	2000	Springer Berlin Heidelberg
EQUATIONAL LOGIC	Walter Taylor	Contributions to Universal Algebra	B. Csákány and J. Schmidt	1977	North-Holland
equational logic		A Dictionary of Computer Science (Oxford Quick Reference)	Andrew Butterfield (editor), Gerard Ekembe Ngondi (editor), Anne Kerr (editor)	2016	Oxford University Press
Equational Logic	Peter Csaba Ölveczky	Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude	Peter Csaba Ölveczky	1st ed. 2017	Springer London
equational logic		Computation as logic	Lalement, René	1993	Prentice Hall;Masson
5 - Higher-Order Equational Logic Programming		The Clausal Theory of Types	D. A. Wolfram	1993-04	Cambridge University Press
An Equational Approach to Logic Programming	Dov M. Gabbay	Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz	Esra Erdem; Joohyung Lee; Yuliya Lierler; David Pearce	2012	Springer Berlin Heidelberg
Representing Actions in Equational Logic Programming		Logic Programming: The 11th International Conference	Pascal Van Hentenryck	1994	MIT Press
Equational logic as a programming language: Abstract	Michael J. O'; Donnell	Logics of Programs: Brooklyn, June 17-19, 1985	Rohit Parikh	1985	Springer Berlin Heidelberg
UCG-E: An equational logic programming system	Lutz H. Hamel	Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings	Maurice Bruynooghe; Martin Wirsing	1992	Springer Berlin Heidelberg
17: Representing Actions in Equational Logic Programming		Logic Programming: The 11th International Conference	Pascal Van Hentenryck	1994	MIT Press,
On Extra Variables in (Equational) Logic Programming		Logic Programming: The 12th International Conference	Leon S. Sterling	1995	MIT,
Term-rewriting implementation of equational logic programming	Michael J. O'; Donnell	Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Proceedings	Pierre Lescanne	1987	Springer Berlin Heidelberg
On Extra Variables in (Equational) Logic Programming		Logic Programming: The 12th International Conference	Leon S. Sterling	1995	MIT Press
Local equational logic	Virgil Emil Căzănescu	Fundamentals of Computation Theory: 9th International Conference, FCT ' 93, Szeged, Hungary, August 23-27, 1993. Proceedings	Zoltán Ésik	1993	Springer Berlin Heidelberg
Fuzzy Equational Logic	Radim Bělohlávek; Vilém Vychodil	Fuzzy Equational Logic	Radim Belohlávek; Vilem Vychodil	2005	Springer Berlin Heidelberg
Elementsof Equational Logic		Studies in deductive logic: a manual for students	William Stanley Jevons	1908	Macmillan
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries