"Solving Higher-Order Equations: From Logic to Programming"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Solving Higher-Order Equations: From Logic to Programming	Christian Prehofer	1998	Birkhäuser Boston
Programming with Higher-Order Logic	Dale Miller; Gopalan Nadathur	2012-06	Cambridge University Press
From Logic to Logic Programming	Kees Doets	1994	MIT Press
From Logic to Logic Programming	Kees Doets	1994	MIT Press,
Introduction to Higher-Order Categorical Logic	J. Lambek, P.J. Scott	1986	Cambridge University Press
Introduction to Higher-Order Categorical Logic	J. Lambek, P. J. Scott	1988	Cambridge University Press
Introduction to Higher Order Categorical Logic	J. Lambek, P. J. Scott	1988	Cambridge University Press
From logic programming to Prolog	Apt K.R.	1997	PH
Higher Order Logic and Hardware Verification	T. F. Melham	1993-11	Cambridge University Press
Intensional and Higher-Order Modal Logic	Daniel Gallin	1975	North-Holland
Higher Order Logic and Hardware Verification	T. F. Melham	2009	Cambridge Univ Pr
Higher-Order Numerical Methods for Transient Wave Equations	Gary Cohen	2002	Springer Berlin Heidelberg
Introduction to Logic Programming	Michael Genesereth; Vinay K. Chaudhri		Springer International Publishing
Introduction to Logic Programming	Michael Genesereth, Vinay K Chaudhri	2020	Morgan & Claypool
Introduction to logic programming	Genesereth M., Chaudhri V.K	2020	Morgan
Introduction to logic programming	Christopher John Hogger	1984	Academic Press
Higher Order Logic Theorem Proving and its Applications	L. J. M. Claesen and M. J. C. Gordon	1993	North-Holland
Introduction to PLC Programming and Implementation—from relay logic to PLC logic	Industrial Text & Video Company
Higher-Order Differential Equations and Elasticity: Ordinary Differential Equations with Applications to Trajectories and Vibrations	Luis Manuel Braga da Costa Campos	2019	Routledge
Introduction to HOL: A theorem-proving environment for higher order logic	Gordon M.J. C., Melham T.F. (eds.)	1993	Cambridge University Press
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
Higher-order logic programming	Dale A. Miller; Gopalan Nadathur	Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings	Ehud Shapiro	1986	Springer Berlin Heidelberg
Higher-Order Logic Programming	Gopalan Nadathur; Dale Miller	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
Extensional Higher-Order Logic Programming	Angelos Charalambidis; Konstantinos Handjopoulos; Panos Rondogiannis; William W. Wadge	Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings	Tomi Janhunen; Ilkka Niemelä	2010	Springer Berlin Heidelberg
1363 Solving Higher-Order Differential Equations		MATLAB for Engineers	Moore, Holly	2014;2013	Pearson Education (US)
Higher-order concurrent linear logic programming	Naoki Kobayashi; Akinori Yonezawa	Theory and Practice of Parallel Programming: International Workshop TPPP ' 94, Sendai, Japan, November 7-9, 1994. Proceedings	Takayasu Ito; Akinori Yonezawa	1995	Springer Berlin Heidelberg
5 - Higher-Order Equational Logic Programming		The Clausal Theory of Types	D. A. Wolfram	1993-04	Cambridge University Press
Tabling for Higher-Order Logic Programming	Brigitte Pientka	Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings	Robert Nieuwenhuis	2005	Springer Berlin Heidelberg
Higher-order aspects of logic programming	Uday S. Reddy	Extensions of Logic Programming: 4th International Workshop, ELP ' 93, St Andrews, U. K. , March 29 - April 1, 1993. Proceedings	Roy Dyckhoff	1994	Springer Berlin Heidelberg
From First-Order to Higher-Order Modal Logic		Modal Logic as Metaphysics	Timothy Williamson	2013	Oxford University Press
Higher-Order Programming		The Clojure Workshop: A New, Interactive Approach to Learning Clojure	Joseph Fahey; Thomas Haratyk; Scott McCaughie; Yehonathan Sharvit; Konrad Szydlo	2020	Packt Publishing Ltd
Higher-Order Logic	John Lloyd	Encyclopedia of Machine Learning and Data Mining	Claude Sammut; Geoffrey I. Webb	2nd ed. 2017	Springer US
Higher-Order Logic	Johan Van Benthem; Kees Doets	Handbook of Philosophical Logic: Volume I: Elements of Classical Logic	Dov M. Gabbay; Franz Guenthner	1983	Springer Netherlands
Higher-Order Logic	Ralph-Johan Back; Joakim von Wright	Refinement Calculus: A Systematic Introduction	Ralph-Johan Back; Joakim Wright	1998	Springer New York
Higher-Order Logic	Johan Van Benthem; Kees Doets	Handbook of Philosophical Logic	Dov M. Gabbay; Franz Guenthner	2nd ed. 2001	Springer Netherlands
Higher-order logic		Isabelle: A Generic Theorem Prover	Lawrence C. Paulson	1994	Springer Berlin Heidelberg
Higher-Order Logic	Lorne Falkenstein; Scott Stapleford; Molly Kao	Logic Works: A Rigorous Introduction to Formal Logic	Lorne Falkenstein; Scott Stapleford; Molly Kao	2021	Routledge
Higher-Order Logic	John Lloyd	Encyclopedia of Machine Learning	Claude Sammut; Geoffrey I. Webb	2010	Springer US
Higher‐order Logic	Stewart Shapiro	The Oxford Handbook of Philosophy of Mathematics and Logic	Stewart Shapiro	2007	Oxford University Press
Higher-Order Logic	John Lloyd	Encyclopedia of Machine Learning and Data Science	Dinh Phung; Geoffrey I. Webb; Claude Sammut	0th ed. 2020	Springer US
Mechanizing Programming Logics in Higher Order Logic	Michael J. C. Gordon	Current Trends in Hardware Verification and Automated Theorem Proving	Graham Birtwistle; P. A. Subrahmanyam	1989	Springer New York
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Solving Higher-Order Equations: From Logic to Programming" - similar Books and Chapters