"Formalization of Transform Methods Using Higher-Order-Logic Theorem Proving"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Higher Order Logic Theorem Proving and its Applications	L. J. M. Claesen and M. J. C. Gordon	1993	North-Holland
Introduction to HOL: A theorem-proving environment for higher order logic	Gordon M.J. C., Melham T.F. (eds.)	1993	Cambridge University Press
First-Order Logic and Automated Theorem Proving	Melvin Fitting	1990	Springer New York
First-Order Logic and Automated Theorem Proving	Melvin Fitting	2nd ed. 1996	Springer New York
First-Order Logic and Automated Theorem Proving	Melvin Fitting	1996	Springer
Symbolic Logic and Mechanical Theorem Proving	Chin-Liang Chang and Richard Char-Tung Lee	1973	Academic Press
Symbolic logic and mechanical theorem proving	Chin-Liang Chang	1987	Academic Press
The Limits of Logic: Higher-Order Logic and the Löwenheim-Skolem Theorem	Stewart Shapiro	1996	Routledge
Formalization of logic	Carnap R.	1943	HUP
Using Sophisticated Models in Resolution Theorem Proving	David M. Sandford	1980	Springer Berlin Heidelberg
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings	Thomas F. Melham; Juanito Camilleri	1994	Springer Berlin Heidelberg
Automated Theorem Proving	Wolfgang Bibel	2nd ed. 1987	Vieweg+Teubner Verlag
Automated Theorem Proving	D. W. Loveland	1978	North-Holland
Automated Theorem Proving	Wolfgang Bibel	1982	Vieweg+Teubner Verlag
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings	E. Thomas Schubert; Phillip J. Windley; James Alves-Foss	1995	Springer Berlin Heidelberg
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions	Dominique Snyers; André Thayse	1987	Springer Berlin Heidelberg
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving	Asad Ahmed; Osman Hasan; Falah Awwad; Nabil Bastaki	1st ed. 2022	Springer International Publishing
Proof, Logic and Formalization	Michael Detlefsen	1992	Routledge
Proof, Logic and Formalization	Detlefsen M. (Ed)	1992
Principles of automated theorem proving	David A. Duffy	1991	Wiley
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
First-order automation for higher-order-logic theorem proving	Holger Busch	Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings	Thomas F. Melham; Juanito Camilleri	1994	Springer Berlin Heidelberg
On the Formalization of Fourier Transform in Higher-order Logic	Adnan Rashid; Osman Hasan	Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings	Jasmin Christian Blanchette; Stephan Merz	1st ed. 2016	Springer International Publishing
Higher-Order Logic and Theorem Proving for Structured Specifications	Tomasz Borzyszkowski	Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ' 99, Chateau de Bonas, September 15-18, 1999 Selected Papers	Didier Bert; Christine Choppy; Peter D. Mosses	2000	Springer Berlin Heidelberg
Automated Theorem Proving & First-Order Logic	Arnaldo Pérez Castaño	Practical Artificial Intelligence: Machine Learning, Bots, and Agent Solutions Using C#	Arnaldo Pérez Castaño	1st ed.	Apress
Formalization of Transform Methods Using HOL Light	Adnan Rashid; Osman Hasan	Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings	Herman Geuvers; Matthew England; Osman Hasan; Florian Rabe; Olaf Teschke	1st ed. 2017	Springer International Publishing
Formalization of Complex Vectors in Higher-Order Logic	Sanaz Khan Afshar; Vincent Aravantinos; Osman Hasan; Sofiène Tahar	Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings	Stephen M. Watt; Alan Sexton; James H. Davenport; Petr Sojka; Josef Urban	2014	Springer International Publishing
Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic	Peter B. Andrews; Chad E. Brown	Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings	David McAllester	2000	Springer Berlin Heidelberg
Proving Pointer Programs in Higher-Order Logic	Farhad Mehta; Tobias Nipkow	Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings	Franz Baader	2003	Springer Berlin Heidelberg
Logic and Theorem Proving	Doron A. Peled	Software Reliability Methods	Doron A. Peled	2001	Springer New York
Progress in the Development of Automated Theorem Proving for Higher-Order Logic	Geoff Sutcliffe; Christoph Benzmüller; Chad E. Brown; Frank Theiss	Automated Deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings	Renate Schmidt	2009	Springer Berlin Heidelberg
First-Order Theorem Proving		Natural language processing with Python	Bird, Steven; Klein, Ewan; Loper, Edward	2009	O'Reilly Media
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
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Formalization of Transform Methods Using Higher-Order-Logic Theorem Proving" - similar Books and Chapters