Explore: Automatisches Beweisverfahren
Discover books, insights, and more — all in one place.
Learn more about Automatisches Beweisverfahren with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “automatisches-beweisverfahren”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1A many-sorted calculus based on resolution and paramodulation
By Christoph Walther
“A many-sorted calculus based on resolution and paramodulation” Metadata:
- Title: ➤ A many-sorted calculus based on resolution and paramodulation
- Author: Christoph Walther
- Languages: ger - English
- Number of Pages: Median: 160
- Publisher: ➤ Morgan Kaufmann Publishers - Pitman - Elsevier Science & Technology Books
- Publish Date: 1987 - 2014
- Publish Location: Los Altos, Calif - London
“A many-sorted calculus based on resolution and paramodulation” Subjects and Themes:
- Subjects: ➤ Artificial intelligence - Automatic theorem proving - The ore mes - Redeneren - Bewijs (wetenschap) - Kunstmatige intelligentie - Automatisches Beweisverfahren - Mehrsortige Pra dikatenlogik - Ku nstliche Intelligenz - De monstration automatique - Intelligence artificielle
Edition Identifiers:
- The Open Library ID: OL40435783M - OL2374644M
- Online Computer Library Center (OCLC) ID: 15591420
- Library of Congress Control Number (LCCN): 87002815
- All ISBNs: 9781483258935 - 1483258939 - 0934613494 - 9780934613491
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find A many-sorted calculus based on resolution and paramodulation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Automated Deduction in Nonclassical Logics
By Lincoln A. Wallen
“Automated Deduction in Nonclassical Logics” Metadata:
- Title: ➤ Automated Deduction in Nonclassical Logics
- Author: Lincoln A. Wallen
- Language: English
- Number of Pages: Median: 255
- Publisher: The MIT Press
- Publish Date: 1989
“Automated Deduction in Nonclassical Logics” Subjects and Themes:
- Subjects: ➤ Proof theory - Modality (Logic) - Künstliche Intelligenz - Prüfprogramm - Intuitionistic mathematics - Automatisches Beweisverfahren - Modalité (Logique) - Preuve, Théorie de la - Nichtklassische Logik - Mathématiques intuitionnistes - Intuitionisme (Mathématiques) - Logic, symbolic and mathematical - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL10237744M
- Online Computer Library Center (OCLC) ID: 20351829
- Library of Congress Control Number (LCCN): 89014539
- All ISBNs: 0262231441 - 9780262231442
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Automated Deduction in Nonclassical Logics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Logic for problem solving
By Robert Kowalski
“Logic for problem solving” Metadata:
- Title: Logic for problem solving
- Author: Robert Kowalski
- Language: English
- Number of Pages: Median: 291
- Publisher: ➤ North-Holland - University of Edinburgh, School of Artificial Intelligence - Elsevier North Holland
- Publish Date: 1974 - 1979
- Publish Location: New York - Edinburgh
“Logic for problem solving” Subjects and Themes:
- Subjects: ➤ Computer programming - Problem solving - Symbolic and mathematical Logic - Electronic digital computers - Programming - Wiskundige logica - Logique symbolique et mathématique - Problemlösen - Programmeren (computers) - Résolution de problème - Programmation (Informatique) - Automatisches Beweisverfahren - Probleemoplossing - Logic
Edition Identifiers:
- The Open Library ID: OL14536686M - OL42996662M - OL4418504M
- Online Computer Library Center (OCLC) ID: 5564433
- Library of Congress Control Number (LCCN): 79022659
- All ISBNs: 0444003657 - 0444003681 - 9780444003652 - 9780444003683
Access and General Info:
- First Year Published: 1974
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic for problem solving at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Automated Theorem Proving in Software Engineering
By Johann M. Schumann
“Automated Theorem Proving in Software Engineering” Metadata:
- Title: ➤ Automated Theorem Proving in Software Engineering
- Author: Johann M. Schumann
- Language: English
- Number of Pages: Median: 228
- Publisher: ➤ Springer Berlin / Heidelberg - Springer - Springer London, Limited
- Publish Date: 2001 - 2010 - 2013
“Automated Theorem Proving in Software Engineering” Subjects and Themes:
- Subjects: ➤ Démonstration automatique - Automatisches Beweisverfahren - Software engineering - Software Engineering - Automatic theorem proving - Théorèmes - Génie logiciel
Edition Identifiers:
- The Open Library ID: OL37217607M - OL34452912M - OL9063488M
- Library of Congress Control Number (LCCN): 2001020538
- All ISBNs: ➤ 9783642087592 - 3642087590 - 3662226464 - 9783540679899 - 9783662226469 - 3540679898
First Setence:
"The amount and complexity of software developed and used has grown tremendously during the past years."
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automated Theorem Proving in Software Engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Computation, proof, machine
By Gilles Dowek
“Computation, proof, machine” Metadata:
- Title: Computation, proof, machine
- Author: Gilles Dowek
- Language: English
- Number of Pages: Median: 152
- Publisher: Cambridge University Press
- Publish Date: 2015
“Computation, proof, machine” Subjects and Themes:
- Subjects: ➤ Mathematics - Ancient Mathematics - History - Mathematics, ancient - Mathematics, history - Algorithmus - Mathematik - Automatisches Beweisverfahren - Numerische Mathematik
- Time: 20th century
Edition Identifiers:
- The Open Library ID: OL40433899M - OL34560255M - OL27188682M
- Online Computer Library Center (OCLC) ID: 903763239
- Library of Congress Control Number (LCCN): 2015004116
- All ISBNs: ➤ 9780521118019 - 1316382729 - 9781139026581 - 9780521133777 - 1139026585 - 0521118018 - 0521133777 - 9781316382721
Access and General Info:
- First Year Published: 2015
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computation, proof, machine at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Model Generation for Natural Language Interpretation and Analysis
By Karsten Konrad
“Model Generation for Natural Language Interpretation and Analysis” Metadata:
- Title: ➤ Model Generation for Natural Language Interpretation and Analysis
- Author: Karsten Konrad
- Language: English
- Number of Pages: Median: 166
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2004
“Model Generation for Natural Language Interpretation and Analysis” Subjects and Themes:
- Subjects: ➤ Semantics - Computational linguistics - Data processing - LANGUAGE ARTS & DISCIPLINES - Linguistics - Analyse du langage naturel - Linguística computacional - Sémantique - Informatique - Linguagem natural - Generierung <Sprache> - Historical & Comparative - Linguistique informatique - Natürlichsprachiges System - Sprachverarbeitung - Natuurlijke-taalverwerking - Electronic books - Génération de modèles - Semântica de programação - Wissensrepräsentation - Automatisches Beweisverfahren - Linguistique computationnelle - Semantics, data processing
Edition Identifiers:
- The Open Library ID: OL9828311M - OL37353602M
- Online Computer Library Center (OCLC) ID: 54476102
- Library of Congress Control Number (LCCN): 2004042936
- All ISBNs: 3540210695 - 9783540210696 - 3540246401 - 9783540246404
First Setence:
"Computational semantics describes and determines the meaning of human language using computational tools."
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Model Generation for Natural Language Interpretation and Analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Theorem proving in higher order logics
By Yves Bertot, Gilles Dowek and Andre Hirschowitz
“Theorem proving in higher order logics” Metadata:
- Title: ➤ Theorem proving in higher order logics
- Authors: Yves BertotGilles DowekAndre Hirschowitz
- Language: English
- Number of Pages: Median: 359
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 1999 - 2003
“Theorem proving in higher order logics” Subjects and Themes:
- Subjects: ➤ Congresses - Automatic theorem proving - Congres - Theoremes - Linguagens formais e automatos - HOL - Kongress - Logica - Automatisches Beweisverfahren - Logica matematica - Demonstration automatique - Automatische bewijsvoering - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL9901511M - OL37149299M
- Online Computer Library Center (OCLC) ID: 42389534
- Library of Congress Control Number (LCCN): 99044586
- All ISBNs: 9783540664635 - 3540482563 - 9783540482567 - 3540664637
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Theorem proving in higher order logics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Automated Reasoning with Analytic Tableaux and Related Methods
By Neil V. Murray
“Automated Reasoning with Analytic Tableaux and Related Methods” Metadata:
- Title: ➤ Automated Reasoning with Analytic Tableaux and Related Methods
- Author: Neil V. Murray
- Language: English
- Number of Pages: Median: 323
- Publisher: Springer
- Publish Date: 1999 - 2003
“Automated Reasoning with Analytic Tableaux and Related Methods” Subjects and Themes:
- Subjects: ➤ Redeneren - Théorèmes - Congrès - Kunstmatige intelligentie - Démonstration automatique - Automatisches Beweisverfahren - Congresses - Inteligencia artificial (computacao) - Automatic theorem proving - Logischer Schluss - Automation
Edition Identifiers:
- The Open Library ID: OL37394703M - OL12809617M
- Online Computer Library Center (OCLC) ID: 504517615
- Library of Congress Control Number (LCCN): 99032019
- All ISBNs: 3540660860 - 9783540660866 - 9783540487548 - 3540487549
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automated Reasoning with Analytic Tableaux and Related Methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9From logic design to logic programming
By Dominique Snyers
“From logic design to logic programming” Metadata:
- Title: ➤ From logic design to logic programming
- Author: Dominique Snyers
- Language: English
- Number of Pages: Median: 127
- Publisher: Springer-Verlag - Springer
- Publish Date: 1987
- Publish Location: London - Berlin
“From logic design to logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Algorithms - Automatic theorem proving - Logischer Entwurf - Théorèmes - Conception logique - Grammaire algébrique - Logisch programmeren - Démonstration théorème - Programmierlogik - Algorithmes - Structure logique - Formale Semantik - Fonction P. - Programmation logique - Programmation déclarative - Logique mathématique - Computer algorithms - Démonstration automatique - Automatisches Beweisverfahren - Programmation en logique - Sémantique
Edition Identifiers:
- The Open Library ID: OL27999951M - OL21342228M
- Online Computer Library Center (OCLC) ID: 16466351
- Library of Congress Control Number (LCCN): 87020773
- All ISBNs: 9780387182179 - 9783540182177 - 3540182179 - 0387182179
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find From logic design to logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Automated Reasoning and Mathematics
By Maria Paola Bonacina
“Automated Reasoning and Mathematics” Metadata:
- Title: ➤ Automated Reasoning and Mathematics
- Author: Maria Paola Bonacina
- Language: English
- Number of Pages: Median: 269
- Publisher: ➤ Springer - Imprint: Springer - Springer Berlin Heidelberg
- Publish Date: 2013
- Publish Location: Berlin, Heidelberg
“Automated Reasoning and Mathematics” Subjects and Themes:
- Subjects: ➤ Mathematical Logic and Formal Languages - Math Applications in Computer Science - Logic design - Artificial Intelligence (incl. Robotics) - Computer science - Artificial intelligence - Logics and Meanings of Programs - Computer logic - Automatisches Beweisverfahren - Mathematik
Edition Identifiers:
- The Open Library ID: OL28142977M - OL27019382M
- Library of Congress Control Number (LCCN): 2013932090
- All ISBNs: 9783642366741 - 3642366759 - 9783642366758 - 3642366740
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automated Reasoning and Mathematics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Automated deduction in equational logic and cubic curves
By W. McCune
“Automated deduction in equational logic and cubic curves” Metadata:
- Title: ➤ Automated deduction in equational logic and cubic curves
- Author: W. McCune
- Language: English
- Number of Pages: Median: 231
- Publisher: Springer
- Publish Date: 1996
- Publish Location: New York - Berlin
“Automated deduction in equational logic and cubic curves” Subjects and Themes:
- Subjects: ➤ Algebraic Curves - Automatic theorem proving - Curves, Algebraic - Algebraische Kurve - Gleichungstheorie - Automatische bewijsvoering - Deduktion - Mathematische Logik - Theorie de la Preuve - Automatisches Beweisverfahren - Demonstration automatique - Theoremes - Algebraic Geometry - Computer graphics - Symbolic and mathematical Logic - Computer science - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL988485M
- Online Computer Library Center (OCLC) ID: 35084280
- Library of Congress Control Number (LCCN): 96026660
- All ISBNs: 3540613986 - 9783540613985
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automated deduction in equational logic and cubic curves at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Frontiers of Combining Systems
By Bernhard Gramlich
“Frontiers of Combining Systems” Metadata:
- Title: Frontiers of Combining Systems
- Author: Bernhard Gramlich
- Language: English
- Number of Pages: Median: 321
- Publisher: Springer
- Publish Date: 2005
“Frontiers of Combining Systems” Subjects and Themes:
- Subjects: ➤ Constraint - Entscheidungsproblem - Mathematische Logik - Congrès - MATHEMATICS - Computer science - Logic - Infinity - Logique mathématique - Informatique - Logique symbolique et mathématique - Symbolic and mathematical Logic - Lineare Optimierung - Deduktionssystem - Résolution de problème - Automatisches Beweisverfahren - Congresses - Computeralgebra - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL12773728M
- Online Computer Library Center (OCLC) ID: 61715016
- Library of Congress Control Number (LCCN): 2005932552
- All ISBNs: 3540290516 - 9783540290513
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Frontiers of Combining Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Automated theorem-proving in non-classical logics
By Paul B. Thistlewaite
“Automated theorem-proving in non-classical logics” Metadata:
- Title: ➤ Automated theorem-proving in non-classical logics
- Author: Paul B. Thistlewaite
- Language: English
- Number of Pages: Median: 154
- Publisher: Wiley - Pitman
- Publish Date: 1988
- Publish Location: New York - London
“Automated theorem-proving in non-classical logics” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Nonclassical mathematical logic - Automatische bewijsvoering - Automatisches Beweisverfahren - Nichtklassische Logik - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL2395359M
- Online Computer Library Center (OCLC) ID: 16756892
- Library of Congress Control Number (LCCN): 87025052
- All ISBNs: 0470210060 - 9780470210062
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automated theorem-proving in non-classical logics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Automated Deduction – CADE-22
By Renate A. Schmidt
“Automated Deduction – CADE-22” Metadata:
- Title: Automated Deduction – CADE-22
- Author: Renate A. Schmidt
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Automated Deduction – CADE-22” Subjects and Themes:
- Subjects: ➤ Computer science - Congresses - Automatisches Beweisverfahren - Symbolic and mathematical Logic - Kongress - Automatic theorem proving - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL25568392M
- Online Computer Library Center (OCLC) ID: 427322381
- Library of Congress Control Number (LCCN): 2015458534
- All ISBNs: 3642029582 - 3642029590 - 9783642029592 - 9783642029585
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automated Deduction – CADE-22 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Automated theorem proving
By W. Bibel
“Automated theorem proving” Metadata:
- Title: Automated theorem proving
- Author: W. Bibel
- Language: English
- Number of Pages: Median: 288
- Publish Date: 1987
“Automated theorem proving” Subjects and Themes:
- Subjects: ➤ Démonstration automatique - Théorèmes - Automatisches Beweisverfahren - Automatic theorem proving - Automatentheorie - Beweis (Mathematik) - Mathematics, problems, exercises, etc. - Mathematics, data processing
Edition Identifiers:
- The Open Library ID: OL27019388M
- Online Computer Library Center (OCLC) ID: 861705995
- All ISBNs: 9783528185206 - 3322901025 - 9783322901026 - 3528185201
Author's Alternative Names:
"Wolfgang Bibel"Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automated theorem proving at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Logics in artificial intelligence
By European Workshop JELIA'98 (1998 Dagstuhl, Germany)
“Logics in artificial intelligence” Metadata:
- Title: ➤ Logics in artificial intelligence
- Author: ➤ European Workshop JELIA'98 (1998 Dagstuhl, Germany)
- Language: English
- Number of Pages: Median: 390
- Publisher: Springer
- Publish Date: 1998
- Publish Location: New York - Berlin
“Logics in artificial intelligence” Subjects and Themes:
- Subjects: ➤ Artificial intelligence - Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Semantique - Inteligencia artificial - Logica - Logique symbolique et mathematique - Congres - Logique mathematique non classique - Nonstandard-Logik - Informatique - Programmation logique - Kongress - Kunstmatige intelligentie - Automatisches Beweisverfahren - Nichtmonotones Schlie©en - Logische Programmierung - Intelligence artificielle - Economic policy - European Union - Foreign economic relations - International economic relations
Edition Identifiers:
- The Open Library ID: OL383552M
- Library of Congress Control Number (LCCN): 98046038
- All ISBNs: 3540651411 - 9783540651413
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logics in artificial intelligence at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17The resolution calculus
By Alexander Leitsch
“The resolution calculus” Metadata:
- Title: The resolution calculus
- Author: Alexander Leitsch
- Language: English
- Number of Pages: Median: 300
- Publisher: Springer
- Publish Date: 1997
- Publish Location: New York - Berlin
“The resolution calculus” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Théorie démonstration - Raffinement - Résolution problème - Théorèmes - Résolution de problème - Démonstration automatique - Informatique - Preuve, Théorie de la - Auflösungsprinzip - Automatisches Beweisverfahren - Qa76.9.a96 l44 1997 - 511.3
Edition Identifiers:
- The Open Library ID: OL1000775M
- Library of Congress Control Number (LCCN): 96039706
- All ISBNs: 9783540618829 - 3540618821
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The resolution calculus at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Frontiers of combining systems
By FroCOS 2009 (2009 Trento, Italy)
“Frontiers of combining systems” Metadata:
- Title: Frontiers of combining systems
- Author: ➤ FroCOS 2009 (2009 Trento, Italy)
- Language: English
- Number of Pages: Median: 382
- Publisher: Springer
- Publish Date: 2009
- Publish Location: New York - Berlin
“Frontiers of combining systems” Subjects and Themes:
- Subjects: ➤ Informatik - Symbolic and mathematical Logic - Problemlösen - Künstliche Intelligenz - Automatisches Beweisverfahren - Congresses - Computer science - Logik - Programmierlogik - Logic design - Artificial intelligence - Software engineering - Computer software - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL25313150M
- Online Computer Library Center (OCLC) ID: 436030809
- Library of Congress Control Number (LCCN): 2009933479
- All ISBNs: 9783642042218 - 364204221X
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Frontiers of combining systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Grundlagen des maschinellen Beweisens
By Dieter Hofbauer and Ralf-Detlef Kutsche
“Grundlagen des maschinellen Beweisens” Metadata:
- Title: ➤ Grundlagen des maschinellen Beweisens
- Authors: Dieter HofbauerRalf-Detlef Kutsche
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 1989
- Publish Location: Wiesbaden
“Grundlagen des maschinellen Beweisens” Subjects and Themes:
- Subjects: ➤ Automatisches Beweisverfahren - Automatisiertes Beweisverfahren
Edition Identifiers:
- The Open Library ID: OL27042200M
- Online Computer Library Center (OCLC) ID: 863858951
- All ISBNs: 9783322842237 - 3322842231
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Grundlagen des maschinellen Beweisens at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Automated Reasoning with Analytic Tableaux and Related Methods
By Uwe Egly
“Automated Reasoning with Analytic Tableaux and Related Methods” Metadata:
- Title: ➤ Automated Reasoning with Analytic Tableaux and Related Methods
- Author: Uwe Egly
- Language: English
- Publisher: ➤ Springer-Verlag Berlin Heidelberg
- Publish Date: 2002
- Publish Location: Berlin, Heidelberg
“Automated Reasoning with Analytic Tableaux and Related Methods” Subjects and Themes:
- Subjects: Artificial intelligence - Automatisches Beweisverfahren - Computer science - Software engineering
Edition Identifiers:
- The Open Library ID: OL27019379M
- Online Computer Library Center (OCLC) ID: 699830653
- All ISBNs: 3540456163 - 9783540456162
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automated Reasoning with Analytic Tableaux and Related Methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Automated Theorem Proving
By W. Bibel
“Automated Theorem Proving” Metadata:
- Title: Automated Theorem Proving
- Author: W. Bibel
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 1982
- Publish Location: Wiesbaden
“Automated Theorem Proving” Subjects and Themes:
- Subjects: Automatentheorie - Automatisches Beweisverfahren - Beweis (Mathematik)
Edition Identifiers:
- The Open Library ID: OL27019386M
- Online Computer Library Center (OCLC) ID: 863972401
- All ISBNs: 9783322901002 - 3322901009
Author's Alternative Names:
"Wolfgang Bibel"Access and General Info:
- First Year Published: 1982
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automated Theorem Proving at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Automatische Synthese rekursiver Programme als Beweisverfahren
By Susanne Biundo
“Automatische Synthese rekursiver Programme als Beweisverfahren” Metadata:
- Title: ➤ Automatische Synthese rekursiver Programme als Beweisverfahren
- Author: Susanne Biundo
- Language: ger
- Publisher: Springer Berlin Heidelberg
- Publish Date: 1992
- Publish Location: Berlin, Heidelberg
“Automatische Synthese rekursiver Programme als Beweisverfahren” Subjects and Themes:
- Subjects: Existenzaussage - Induktionsbeweis - Automatisches Beweisverfahren - Programmsynthese
Edition Identifiers:
- The Open Library ID: OL27019448M
- Online Computer Library Center (OCLC) ID: 863856624
- All ISBNs: 9783642847448 - 3642847447
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automatische Synthese rekursiver Programme als Beweisverfahren at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Automatisierung von Terminierungsbeweisen
By Christoph Walther
“Automatisierung von Terminierungsbeweisen” Metadata:
- Title: ➤ Automatisierung von Terminierungsbeweisen
- Author: Christoph Walther
- Language: ger
- Publisher: Vieweg+Teubner Verlag
- Publish Date: 1991
- Publish Location: Wiesbaden
“Automatisierung von Terminierungsbeweisen” Subjects and Themes:
- Subjects: Algorithmus - Automatisches Beweisverfahren - Terminierung
Edition Identifiers:
- The Open Library ID: OL27019475M
- Online Computer Library Center (OCLC) ID: 864066816
- All ISBNs: 9783322854049 - 3322854043
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automatisierung von Terminierungsbeweisen at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Theorem proving with the real numbers
By Harrison, J.
“Theorem proving with the real numbers” Metadata:
- Title: ➤ Theorem proving with the real numbers
- Author: Harrison, J.
- Language: English
- Number of Pages: Median: 186
- Publisher: Springer
- Publish Date: 1998
- Publish Location: New York - London
“Theorem proving with the real numbers” Subjects and Themes:
- Subjects: Automatic theorem proving - HOL - Automatisches Beweisverfahren - Computeralgebra - Reelle Zahl
Edition Identifiers:
- The Open Library ID: OL358017M
- Online Computer Library Center (OCLC) ID: 38828154
- Library of Congress Control Number (LCCN): 98017946
- All ISBNs: 9783540762560 - 3540762566
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Theorem proving with the real numbers at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Advances in computing science--ASIAN '99
By Asian Computing Science Conference (5th 1999 Phuket, Thailand)
“Advances in computing science--ASIAN '99” Metadata:
- Title: ➤ Advances in computing science--ASIAN '99
- Author: ➤ Asian Computing Science Conference (5th 1999 Phuket, Thailand)
- Language: English
- Number of Pages: Median: 395
- Publisher: Springer
- Publish Date: 1999
- Publish Location: New York
“Advances in computing science--ASIAN '99” Subjects and Themes:
- Subjects: ➤ Congresses - Electronic data processing - Computer science - Informatique - Berechnungstheorie - Informatik - Programutvikling - Formale Sprache - Informatica - Kongress - Technologie de l'information - Programmiersprache - Congres - Automatisches Beweisverfahren - Kongresser
Edition Identifiers:
- The Open Library ID: OL18138029M
- Online Computer Library Center (OCLC) ID: 42882803
- Library of Congress Control Number (LCCN): 99058177
- All ISBNs: 9783540668565 - 354066856X
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Advances in computing science--ASIAN '99 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Frontiers of combining systems
By FroCoS 2002 (2002 Santa Margherita Ligure, Italy)
“Frontiers of combining systems” Metadata:
- Title: Frontiers of combining systems
- Author: ➤ FroCoS 2002 (2002 Santa Margherita Ligure, Italy)
- Language: English
- Number of Pages: Median: 254
- Publisher: Springer
- Publish Date: 2002
- Publish Location: New York
“Frontiers of combining systems” Subjects and Themes:
- Subjects: ➤ Computer science - Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Informatique - Mathematische Logik - Constraint - Entscheidungsproblem - Lineare Optimierung - Deduktionssystem - Automatisches Beweisverfahren - Logique symbolique et mathematique - Congres - Computeralgebra - Combinatieleer - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL18172217M
- Online Computer Library Center (OCLC) ID: 497922088 - 49283892
- Library of Congress Control Number (LCCN): 2002017902
- All ISBNs: 3540433813 - 9783540433811
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Frontiers of combining systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Proceedings
By International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)
“Proceedings” Metadata:
- Title: Proceedings
- Author: ➤ International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)
- Language: English
- Number of Pages: Median: 688
- Publisher: Springer-Verlag
- Publish Date: 1990
- Publish Location: Berlin - New York
“Proceedings” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Congresses - Symbolic and mathematical Logic - Theoremes - Automatisches Beweisverfahren - Logique symbolique et mathematique - Congres - Inteligencia artificial (conmputacʹao) - Demonstration automatique
Edition Identifiers:
- The Open Library ID: OL1857869M
- Online Computer Library Center (OCLC) ID: 508045805 - 22184493
- Library of Congress Control Number (LCCN): 90010125
- All ISBNs: 0387528857 - 9780387528854
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.