"Controlling conjunctive partial deduction" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Labelled Deduction	David Basin; M. D'Agostino; Dov M. Gabbay; Seán Matthews; Luca Viganò	2000	Springer Netherlands
Deduction Systems	Rolf Socher-Ambrosius	1997	Springer New York
Labelled deduction	David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)	2000	Springer Netherlands
Deduction systems /	Socher-Ambrosius, Rolf.; Johann, Patricia.	[1997], ©1997.	Springer,
Deduction Systems	Rolf Socher-Ambrosius; Patricia Johann	1997	Springer New York
Fatal Deduction	Gayle G. Roper	May 20, 2008	Multnomah Books
The Deduction Guide	Blackwood, Louise; Holmes, Sherlock	2014	CreateSpace Independent Publishing Platform
La Déduction relativiste	Émile Meyerson	2012	Nouveau Monde éditions
Deduction: automated logic /	Bibel, W.,; Hölldobler, Steffen,	[1993], ©1993.	Academic Press,
Induction und Deduction	Liebig, Justus Freiherr von	1865	Im Verlage der k. Akademie
Quantifiers, deduction, and context	Makoto Kanazawa	1995	CSLI Publications
Explanation, Causation and Deduction	Fred Wilson (auth.)	1985	Springer Netherlands
Explanation, Causation and Deduction	Fred Wilson	1985	Springer Netherlands
Explanation,causation,and deduction	Wilson, Fred	1985	D. Reidel;Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers
Net operating loss deduction	United States. Extension Service. Division of Agricultural Economics	1956
Lateral thinking & logical deduction	Dave Chatten		Metro Books
The Case for the charitable deduction: a deduction, not a credit	National Association of Independent Colleges and Universities	1979	NAICU
Controlling	Rainer Bramsemann	1978	Gabler Verlag
Controlling	Stefan Behringer	1. Aufl. 2018	Springer Fachmedien Wiesbaden
Controlling	Hans Jung	2014	De Gruyter Oldenbourg
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
Controlling conjunctive partial deduction	Robert Glück; Jesper Jørgensen; Bern Martens; Morten Heine Sørensen	Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP ' 96, Aachen, Germany, September 24 - 27, 1996. Proceedings	Herbert Kuchen; S.Doaitse Swierstra	1996	Springer Berlin Heidelberg
Conjunctive partial deduction in practice	Jesper Jørgensen; Michael Leuschel; Bern Martens	Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR' 96, Stockholm, Sweden, August 28-30, 1996, Proceedings	John Gallagher	1997	Springer Berlin Heidelberg
Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction	Danny De Schreye; Vincent Nys; Colin Nicholson	Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers	Maurizio Proietti; Hirohisa Seki	2015	Springer International Publishing
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering	Michael Leuschel; Germán Vidal	Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings	Mooly Sagiv	2005	Springer Berlin Heidelberg
Sonic Partial Deduction	Jonathan Martin; Michael Leuschel	Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI' 99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings	Dines Bjørner; Manfred Broy; Alexandre V. Zamulin	2000	Springer Berlin Heidelberg
Partial Deduction Strategies		Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers	João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum	2005	Springer
Abstract Partial Deduction Challenged	Stefan Gruner	Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers	Michael Leuschel	2003	Springer Berlin Heidelberg
Abstract Partial Deduction Challeng		Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers	María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas (auth.), Michael Leuschel (eds.)	2003	Springer-Verlag Berlin Heidelberg
Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking	Michael Leuschel; Stefan Gruner	Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers	Alberto Pettorossi	2002	Springer Berlin Heidelberg
An introduction to partial deduction	Jan Komorowski	Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings	Alberto Pettorossi	1992	Springer Berlin Heidelberg
Controlling Oxygen Partial Pressure		Nitric Oxide part E	Edited by Lester Packer and Enrique Cadenas	2005	Academic Press
Solving Planning Problems by Partial Deduction	Helko Lehmann; Michael Leuschel	Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings	Michel Parigot; Andrei Voronkov	2000	Springer Berlin Heidelberg
Specialising Interpreters Using Offline Partial Deduction	Michael Leuschel; Stephen J. Craig; Maurice Bruynooghe; Wim Vanhoof	Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development	Maurice Bruynooghe; Kung-Kiu Lau	2004	Springer Berlin Heidelberg
Partial deduction and driving are equivalent	Robert Glück; Morten Heine Sørensen	Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP ' 94, Madrid, Spain, September 14 - 16, 1994. Proceedings	Manuel Hermenegildo; Jaan Penjam	1994	Springer Berlin Heidelberg
Compiling Control as Offline Partial Deduction	Vincent Nys; Danny De Schreye	Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers	Fred Mesnard; Peter J. Stuckey	1st ed. 2019	Springer International Publishing
On Partial Deduction and Conversational Agents		Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence. . . in Artificial Intelligence and Applications)	T. Alsinet, J. Puyol-Gruart, C. Torras	2008-01-01	IOS Press
Conjunctive		Basic Sicilian: A Brief Reference Grammar	Joseph F. Privitera	1998	Edwin Mellen Press
Conjunctive		An Introduction to Foundational Logic	Dennis Q. McInerny	2012	Priestly Fraternity of St. Peter
Conjunctive.		The compleat French-master for ladies and gentlemen being a new method, to learn with ease and delight the French tongue, as it is now spoken in the court of France, in three parts, I. A short and plain grammar, II. A vocabulary, familiar dialogues, the niceties of the French tongue, and twelve discourses ... III. Four collections ... / by A. Boyer ...	Boyer, Abel, 1667-1729.	1694.	Printed for Tho. Salusbury ...
Conjunctive.		The compleat French-master for ladies and gentlemen being a new method, to learn with ease and delight the French tongue, as it is now spoken in the court of France, in three parts, I. A short and plain grammar, II. A vocabulary, familiar dialogues, the niceties of the French tongue, and twelve discourses ... III. Four collections ... / by A. Boyer ...	Boyer, Abel, 1667-1729.	1694.	Printed for Tho. Salusbury ...
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries