Using Sophisticated Models in Resolution Theorem Proving
von David M. Sandford
1980 Kartoniert, 260 Seiten, 235mm x 155mm x 15mm, Sprache(n): eng 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
From Logic Design to Logic Programming - Theorem Proving Techniques and P-Functions
von Andre Thayse, Dominique Snyers
1987 Kartoniert, 134 Seiten, 235mm x 155mm x 8mm, Sprache(n): eng Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography.
Conditional Term Rewriting Systems - 1st International Workshop Orsay, France, July 8-10, 1987. Pr…
1988 Kartoniert, 292 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (University of Paris-Sud) in July 1987, and brought together most of the researchers involved in the field. Conditional rewriting has actual…
Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9,…
2013 Kartoniert, 388 Seiten, 235mm x 155mm x 21mm, Sprache(n): eng Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in…
Guide to Discrete Mathematics - An Accessible Introduction to the History, Theory, Logic and Appli…
von Gerard O'Regan
2018 Kartoniert, 392 Seiten, 235mm x 155mm x 22mm, Sprache(n): eng Presents a broad and accessible introduction to discrete mathematics Provides an introduction to logic, covering historical developments Presents a strong focus on applications to coding and graph theory, formal methods, databa…
Guide to Discrete Mathematics - An Accessible Introduction to the History, Theory, Logic and Appli…
von Gerard O'Regan
2021 Gebunden, 476 Seiten, 241mm x 160mm x 31mm, Sprache(n): eng Presents a broad and accessible introduction to discrete mathematicsProvides an introduction to logic, covering historical developmentsPresents a strong focus on applications to cryptography, coding and graph theory, formal methods…
Programming Languages - 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Pr…
2014 Kartoniert, 172 Seiten, 235mm x 155mm x 10mm, Sprache(n): eng This book constitutes the proceedings of the 18th Brazilian Symposium on Programming Languages, SBLP 2014, held in Maceio, Brazil, in October 2014. The 11 full papers were carefully reviewed and selected from 31 submissions. The…
Automated Reasoning and Mathematics - Essays in Memory of William W. McCune
2013 Kartoniert, 280 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng Published in memory of William (Bill) W McCune, one of the founders of practical theorem proving and model buildingIncludes personal recollections of Bill McCune by his colleaguesUp-to-date results in automated reasoningThis Fest…
Tools for Practical Software Verification - International Summer School, LASER 2011, Elba Island,…
2012 Kartoniert, 192 Seiten, 235mm x 155mm x 11mm, Sprache(n): eng Fast-track conference proceedingsState-of-the-art researchUp-to-date resultsThe LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Part…
Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPA…
2013 Kartoniert, 808 Seiten, 235mm x 155mm x 44mm, Sprache(n): eng This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8…
- Volltext
- theoremproving
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!