Topic Search: Automatic Theorem Proving

By Larry Wos

“Automated Reasoning” Metadata:

Title: Automated Reasoning
Author: Larry Wos
Language: English
Number of Pages: Median: 319
Publisher: ➤ Prentice Hall - Mcgraw-Hill (Tx) - Prentice-Hall
Publish Date: 1987 - 1988 - 1992
Publish Location: Englewood Cliffs, N.J

“Automated Reasoning” Subjects and Themes:

Subjects: Computer programming - Artificial intelligence - Automatic theorem proving - Computer programs

Edition Identifiers:

The Open Library ID: OL9287104M - OL2384305M - OL7332454M - OL9264807M - OL7310148M
Online Computer Library Center (OCLC) ID: 15792812
Library of Congress Control Number (LCCN): 87013148
All ISBNs: 9780130545527 - 9780079112514 - 007911251X - 013054552X

Access and General Info:

First Year Published: 1987
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Borrowable

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 Reasoning at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

By David A. McAllester

“ONTIC” Metadata:

Title: ONTIC
Author: David A. McAllester
Language: English
Number of Pages: Median: 166
Publisher: MIT Press - The MIT Press
Publish Date: 1989
Publish Location: ➤ Cambridge, Massachusetts - Cambridge, Mass

“ONTIC” Subjects and Themes:

Subjects: ➤ Automatic theorem proving - Knowledge representation (Information theory) - Ontic (Computer system) - Démonstration automatique - Théorèmes - Ontic (Système informatique)

Edition Identifiers:

The Open Library ID: OL2032411M - OL10237356M
Online Computer Library Center (OCLC) ID: 17649771
Library of Congress Control Number (LCCN): 88008090
All ISBNs: 9780262132350 - 0262132354

Author's Alternative Names:

"David Allen McAllester" and "David McAllester"

Access and General Info:

First Year Published: 1989
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Borrowable

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 ONTIC at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

3Automated reasoning and its applications

By Larry Wos, Robert Veroff and Gail W. Pieper

“Automated reasoning and its applications” Metadata:

Title: ➤ Automated reasoning and its applications
Authors: Larry WosRobert VeroffGail W. Pieper
Language: English
Number of Pages: Median: 252
Publisher: The MIT Press - MIT Press
Publish Date: 1997
Publish Location: Cambridge, Mass

“Automated reasoning and its applications” Subjects and Themes:

Subjects: Automatic theorem proving - Artificial intelligence

Edition Identifiers:

The Open Library ID: OL1011329M - OL29753923M
Online Computer Library Center (OCLC) ID: 36103675
Library of Congress Control Number (LCCN): 96051916
All ISBNs: 9780262220552 - 0262220555 - 9780262303538 - 0262303531

Access and General Info:

First Year Published: 1997
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Borrowable

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 reasoning and its applications at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

4Logic for programming artificial intelligence and reasoning

By Moshe Y. Vardi and Andrei Voronkov

“Logic for programming artificial intelligence and reasoning” Metadata:

Title: ➤ Logic for programming artificial intelligence and reasoning
Authors: Moshe Y. VardiAndrei Voronkov
Language: English
Number of Pages: Median: 437
Publisher: ➤ Springer - Springer London, Limited
Publish Date: ➤ 2003 - 2005 - 2006 - 2007 - 2008 - 2010

“Logic for programming artificial intelligence and reasoning” Subjects and Themes:

Subjects: Logic programming - Congresses - Automatic theorem proving

Edition Identifiers:

The Open Library ID: ➤ OL37394742M - OL37394645M - OL37390181M - OL37390169M - OL37385166M - OL37385118M - OL37385071M - OL37385044M - OL37140769M - OL9543170M
Online Computer Library Center (OCLC) ID: 53007054
Library of Congress Control Number (LCCN): 2003061048
All ISBNs: ➤ 9783642162428 - 9783642175114 - 9783540398134 - 3540316507 - 9783540894391 - 3540482822 - 3540755608 - 3642175112 - 3642162428 - 9783540322757 - 9783540201014 - 3540322752 - 354089439X - 3540398139 - 3540456538 - 9783540316503 - 3540201017 - 9783540456537 - 9783540482826 - 9783540755609

First Setence:

"Description logics (DLs) [1] are a family of knowledge representation languages which can be used to represent the terminological knowledge of an application domain in a structured and formally well-understood way."

Access and General Info:

First Year Published: 2003
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 programming artificial intelligence and reasoning at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

5Little Prover

By Daniel P. Friedman, Carl Eastlund and Duane Bibby

“Little Prover” Metadata:

Title: Little Prover
Authors: Daniel P. FriedmanCarl EastlundDuane Bibby
Language: English
Number of Pages: Median: 248
Publisher: MIT Press
Publish Date: 2015

“Little Prover” Subjects and Themes:

Subjects: ➤ Automatic theorem proving - Lisp (computer program language) - LISP (Computer program language)

Edition Identifiers:

The Open Library ID: OL29754170M - OL29272699M
Library of Congress Control Number (LCCN): 2015001271
All ISBNs: 0262330555 - 0262527952 - 9780262330558 - 9780262527958

Access and General Info:

First Year Published: 2015
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

Online Marketplaces

Find Little Prover at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

6Logic Programming

By James H. Andrews and J. Andrews

“Logic Programming” Metadata:

Title: Logic Programming
Authors: James H. AndrewsJ. Andrews
Language: English
Number of Pages: Median: 110
Publisher: Cambridge University Press
Publish Date: ➤ 1992 - 1993 - 2004 - 2009 - 2011
Publish Location: Cambridge - New York

“Logic Programming” Subjects and Themes:

Subjects: ➤ Automatic theorem proving - Logic programming - Programming languages (Electronic computers) - Semantics - Proof theory

Edition Identifiers:

The Open Library ID: ➤ OL21503786M - OL7748292M - OL34443060M - OL1493168M - OL7740641M - OL40462634M
Online Computer Library Center (OCLC) ID: 492496587
Library of Congress Control Number (LCCN): 93166788
All ISBNs: ➤ 9780521607544 - 0511882025 - 9780521432191 - 052160754X - 0511526539 - 9780511526534 - 0521432197 - 9780511882029

First Setence:

"The quest for programming languages which are more readable and expressive has led to many developments in programming languages, one of which is the logic programming paradigm."

Access and General Info:

First Year Published: 1992
Is Full Text Available: No
Is The Book Public: No
Access Status: Unclassified

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 Programming at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

7Certified Programming with Dependent Types

By Adam Chlipala

“Certified Programming with Dependent Types” Metadata:

Title: ➤ Certified Programming with Dependent Types
Author: Adam Chlipala
Language: English
Number of Pages: Median: 440
Publisher: The MIT Press - MIT Press
Publish Date: 2013 - 2022

“Certified Programming with Dependent Types” Subjects and Themes:

Subjects: Automatic theorem proving - Computer programming - Computer programs - Coq (Electronic resource)

Edition Identifiers:

The Open Library ID: OL29707318M - OL38410466M - OL29753860M - OL29707300M - OL27590730M
Library of Congress Control Number (LCCN): 2013012837
All ISBNs: ➤ 0262317885 - 9780262317887 - 9780262026659 - 9780262317863 - 0262317869 - 0262545748 - 0262317877 - 0262026651 - 9780262545747 - 9780262317870

Access and General Info:

First Year Published: 2013
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Certified Programming with Dependent Types at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

8Gems of theoretical computer science

By Uwe Schöning

“Gems of theoretical computer science” Metadata:

Title: ➤ Gems of theoretical computer science
Author: Uwe Schöning
Language: English
Number of Pages: Median: 320
Publisher: Springer
Publish Date: 1998
Publish Location: New York - Berlin

“Gems of theoretical computer science” Subjects and Themes:

Subjects: Automatic theorem proving

Edition Identifiers:

The Open Library ID: OL364781M
Online Computer Library Center (OCLC) ID: 39189935
Library of Congress Control Number (LCCN): 98025081
All ISBNs: 9783540644255 - 3540644253

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 Gems of theoretical computer science at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

9Logic for computer science

By Jean H. Gallier

“Logic for computer science” Metadata:

Title: Logic for computer science
Author: Jean H. Gallier
Language: English
Number of Pages: Median: 511
Publisher: ➤ Harper & Row - Longman Higher Education - Dover Publications, Incorporated - Wiley & Sons, Incorporated, John - Wiley
Publish Date: 1985 - 1986 - 1987 - 2015
Publish Location: ➤ New York, NY - New York - London - Chichester

“Logic for computer science” Subjects and Themes:

Subjects: ➤ Automatic theorem proving - Symbolic and mathematical Logic - Logic, symbolic and mathematical - MATHEMATICS / Logic

Edition Identifiers:

The Open Library ID: ➤ OL39969448M - OL38371461M - OL28530661M - OL2533365M - OL22115889M - OL22570421M
Online Computer Library Center (OCLC) ID: 12216897
Library of Congress Control Number (LCCN): 2014048078 - 85014071
All ISBNs: ➤ 0486780821 - 9780060422257 - 0471603287 - 9780471615460 - 9780471603283 - 9780486780825 - 0486805085 - 0060422254 - 0471615463 - 9780486805085

Access and General Info:

First Year Published: 1985
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

Online Marketplaces

Find Logic for computer science at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

10Logic for Programming, Artificial Intelligence, and Reasoning

By Ken McMillan, Aart Middeldorp and Andrei Voronkov

“Logic for Programming, Artificial Intelligence, and Reasoning” Metadata:

Title: ➤ Logic for Programming, Artificial Intelligence, and Reasoning
Authors: Ken McMillanAart MiddeldorpAndrei Voronkov
Language: English
Number of Pages: Median: 732
Publisher: ➤ Springer London, Limited - Springer
Publish Date: 2012 - 2013 - 2015

“Logic for Programming, Artificial Intelligence, and Reasoning” Subjects and Themes:

Subjects: ➤ Logic programming - Artificial intelligence - Automatic theorem proving - Reasoning - Artificial Intelligence (incl. Robotics) - Software engineering - Computer science - Logic design - Logics and Meanings of Programs - Mathematical Logic and Formal Languages - Programming Techniques - Programming Languages, Compilers, Interpreters

Edition Identifiers:

The Open Library ID: OL28129291M - OL28157946M - OL37229354M - OL28047598M - OL28286629M
All ISBNs: ➤ 3642452221 - 3642452213 - 9783642287183 - 3662488981 - 9783642452222 - 3642287182 - 9783662488980 - 9783642452215 - 9783642452208 - 3642452205

Access and General Info:

First Year Published: 2012
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Programming, Artificial Intelligence, and Reasoning at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

11Automated deduction

By W. Bibel and Peter H. Schmitt

“Automated deduction” Metadata:

Title: Automated deduction
Authors: W. BibelPeter H. Schmitt
Language: English
Number of Pages: Median: 474
Publisher: ➤ Springer - Kluwer Academic Publishers
Publish Date: 1899 - 1998
Publish Location: Boston - Dordrecht

“Automated deduction” Subjects and Themes:

Subjects: ➤ Symbolic and mathematical Logic - Automatic theorem proving - Artificial intelligence - Expert Systems - Logic - Programming - Software Development - Philosophy / Logic - Computers - General Information - Logic, symbolic and mathematical

Edition Identifiers:

The Open Library ID: OL7808695M - OL7808693M - OL7808694M - OL66579M - OL7808692M
Online Computer Library Center (OCLC) ID: 40744546
Library of Congress Control Number (LCCN): gb98053848 - 99164724
All ISBNs: ➤ 9780792351306 - 0792351290 - 0792351312 - 0792351304 - 0792351320 - 9780792351313 - 9780792351320 - 9780792351290

Author's Alternative Names:

"Wolfgang Bibel"

Access and General Info:

First Year Published: 1899
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

12Automated practical reasoning

By Dongming Wang

“Automated practical reasoning” Metadata:

Title: Automated practical reasoning
Author: Dongming Wang
Language: English
Number of Pages: Median: 223
Publisher: ➤ Springer-Verlag - Springer - Springer-Verlag Telos - Island Press
Publish Date: 1995 - 2001 - 2012
Publish Location: New York - Wien

“Automated practical reasoning” Subjects and Themes:

Subjects: ➤ Automatic theorem proving - Reasoning - Practical reason - Symbolic and mathematical Logic - Computer science - Software engineering - Algebra - Algorithms - Data processing

Edition Identifiers:

The Open Library ID: OL50680401M - OL37427446M - OL7448068M - OL9020494M - OL1270727M
Online Computer Library Center (OCLC) ID: 31865671
Library of Congress Control Number (LCCN): 95001923
All ISBNs: ➤ 9783709166055 - 9783709166048 - 0387826009 - 3709166055 - 9783211826003 - 9780387826004 - 3211826009 - 3709166047

Access and General Info:

First Year Published: 1995
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 practical reasoning at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

13Collected Works of Larry Wos

By Larry Wos

“Collected Works of Larry Wos” Metadata:

Title: Collected Works of Larry Wos
Author: Larry Wos
Language: English
Number of Pages: Median: 1620
Publisher: ➤ World Scientific Publishing Co Pte Ltd - World Scientific Publishing Company - World Scientific
Publish Date: 2000 - 2001
Publish Location: River Edge, NJ - Singapore

“Collected Works of Larry Wos” Subjects and Themes:

Subjects: Artificial intelligence - Automatic theorem proving - Reasoning - Puzzles

Edition Identifiers:

The Open Library ID: OL9195020M - OL49254289M - OL3438825M - OL49255078M
Online Computer Library Center (OCLC) ID: 44190209
Library of Congress Control Number (LCCN): 2005297871
All ISBNs: ➤ 9789810240011 - 9789810240028 - 9810240015 - 1306000130 - 9781306000130 - 9810249985 - 9789810249984 - 9810240023 - 9789810249960 - 9810249969

Access and General Info:

First Year Published: 2000
Is Full Text Available: No
Is The Book Public: No
Access Status: Unclassified

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 Collected Works of Larry Wos at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

14Symbolic logic and mechanical theorem proving

By Chin-Liang Chang

“Symbolic logic and mechanical theorem proving” Metadata:

Title: ➤ Symbolic logic and mechanical theorem proving
Author: Chin-Liang Chang
Language: English
Number of Pages: Median: 331
Publisher: Academic Press
Publish Date: 1973 - 1987
Publish Location: San Diego - New York

“Symbolic logic and mechanical theorem proving” Subjects and Themes:

Subjects: ➤ Artificial intelligence - Automatic theorem proving - Symbolic and mathematical Logic

Edition Identifiers:

The Open Library ID: OL2373359M - OL5305562M
Library of Congress Control Number (LCCN): 87001443 - 72088358
All ISBNs: 9780121703509 - 0121703509

Access and General Info:

First Year Published: 1973
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Printdisabled

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 Symbolic logic and mechanical theorem proving at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

15Rippling

By Alan Bundy, David Basin, Dieter Hutter and Andrew Ireland

“Rippling” Metadata:

Title: Rippling
Authors: Alan BundyDavid BasinDieter HutterAndrew Ireland
Language: English
Number of Pages: Median: 216
Publisher: Cambridge University Press
Publish Date: 2005 - 2009

“Rippling” Subjects and Themes:

Subjects: ➤ Automatic theorem proving - Logic, symbolic and mathematical - Symbolic and mathematical Logic

Edition Identifiers:

The Open Library ID: OL34436786M - OL40784578M - OL7765773M - OL40479854M
Online Computer Library Center (OCLC) ID: 55682394
Library of Congress Control Number (LCCN): 2004051866
All ISBNs: ➤ 052183449X - 9780511112874 - 0511112874 - 9780511113383 - 9780511543326 - 0511543328 - 0511113382 - 9780521834490

Access and General Info:

First Year Published: 2005
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Rippling at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

16Artificial intelligence and symbolic computation

By Jacques Calmet

“Artificial intelligence and symbolic computation” Metadata:

Title: ➤ Artificial intelligence and symbolic computation
Author: Jacques Calmet
Language: English
Number of Pages: Median: 269
Publisher: Springer
Publish Date: 2006 - 2014 - 2018

“Artificial intelligence and symbolic computation” Subjects and Themes:

Edition Identifiers:

The Open Library ID: OL28654816M - OL28346543M - OL34882566M - OL9056871M
Online Computer Library Center (OCLC) ID: 71747766
Library of Congress Control Number (LCCN): 2006932044
All ISBNs: ➤ 3319137700 - 9783540397281 - 3540397280 - 3319999567 - 9783319137698 - 3319137697 - 9783319999562 - 9783319137704

Access and General Info:

First Year Published: 2006
Is Full Text Available: No
Is The Book Public: No
Access Status: Unclassified

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 Artificial intelligence and symbolic computation at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

17Foundations and applications of security analysis

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers

By Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England)

“Foundations and applications of security analysis” Metadata:

Title: ➤ Foundations and applications of security analysis
Author: ➤ Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England)
Language: English
Number of Pages: Median: 221
Publisher: Springer
Publish Date: 2009
Publish Location: New York - Berlin

“Foundations and applications of security analysis” Subjects and Themes:

Subjects: ➤ Congresses - Formal methods (Computer science) - Computer security - Cryptography - Automatic theorem proving - Computers, access control

Edition Identifiers:

The Open Library ID: OL24019237M - OL24049463M - OL24054380M - OL24079970M
Online Computer Library Center (OCLC) ID: 428028158
Library of Congress Control Number (LCCN): 2009933043
All ISBNs: 3642034586 - 9783642034589

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 Foundations and applications of security analysis at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

18Scalable Techniques for Formal Verification

By Sandip Ray

“Scalable Techniques for Formal Verification” Metadata:

Title: ➤ Scalable Techniques for Formal Verification
Author: Sandip Ray
Language: English
Number of Pages: Median: 259
Publisher: Springer
Publish Date: 2010 - 2014

“Scalable Techniques for Formal Verification” Subjects and Themes:

Subjects: ➤ Systems engineering - Engineering - Computer-aided design - Computer systems - Formal methods (Computer science) - Verification - Automatic theorem proving - System design - Electronic systems

Edition Identifiers:

The Open Library ID: OL37119670M - OL28129563M - OL28124999M - OL26132858M
Library of Congress Control Number (LCCN): 2010927798
All ISBNs: ➤ 144195998X - 1489984445 - 9781489984449 - 9781441959980 - 1441959971 - 9781441960061 - 1441960066 - 9781441959973

Access and General Info:

First Year Published: 2010
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Scalable Techniques for Formal Verification at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

19Symbolic logic and mechanical theorem proving

By Chin-Liang Chang

“Symbolic logic and mechanical theorem proving” Metadata:

Title: ➤ Symbolic logic and mechanical theorem proving
Author: Chin-Liang Chang
Language: English
Number of Pages: Median: 331
Publisher: ➤ Elsevier Science & Technology Books - Academic Press
Publish Date: 1973 - 2014
Publish Location: Boston - London

“Symbolic logic and mechanical theorem proving” Subjects and Themes:

Subjects: ➤ Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Artificial intelligence - Automatic theorem proving - Logique symbolique et mathématique - Intelligence artificielle - Théorèmes - Démonstration automatique

Edition Identifiers:

The Open Library ID: OL34618102M - OL22225892M
Online Computer Library Center (OCLC) ID: 658102
Library of Congress Control Number (LCCN): 87001443 - 72088358
All ISBNs: 0080917283 - 9780121703509 - 0121703509 - 9780080917283

Access and General Info:

First Year Published: 1973
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

Online Marketplaces

Find Symbolic logic and mechanical theorem proving at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

20Proof in VDM

By Juan Carlos Bicarregui, Juan C. Bicarregui and John S. Fitzgerald

“Proof in VDM” Metadata:

Title: Proof in VDM
Authors: Juan Carlos BicarreguiJuan C. BicarreguiJohn S. Fitzgerald
Language: English
Number of Pages: Median: 362
Publisher: ➤ Springer-Verlag - Springer-Verlag Telos
Publish Date: 1994 - 1995
Publish Location: London - New York

“Proof in VDM” Subjects and Themes:

Subjects: Development - Computer software - System design - Automatic theorem proving - Computer software, development

Edition Identifiers:

The Open Library ID: OL51665385M - OL7444279M - OL18320173M - OL1414290M
Online Computer Library Center (OCLC) ID: 29523091
Library of Congress Control Number (LCCN): 93023655
All ISBNs: ➤ 9783540198130 - 9781447120339 - 038719813X - 9780387198132 - 1447120337 - 354019813X

Access and General Info:

First Year Published: 1994
Is Full Text Available: Yes
Is The Book Public: No
Access Status: Printdisabled

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 Proof in VDM at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

21Automated 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

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.

22Verifying temporal properties of systems

By J. C. Bradfield

“Verifying temporal properties of systems” Metadata:

Title: ➤ Verifying temporal properties of systems
Author: J. C. Bradfield
Language: English
Number of Pages: Median: 113
Publisher: ➤ Island Press - Birkhauser Verlag - Birkhäuser
Publish Date: 1992 - 2013
Publish Location: Boston

“Verifying temporal properties of systems” Subjects and Themes:

Subjects: Automatic theorem proving - Petri nets - Verification (Logic)

Edition Identifiers:

The Open Library ID: OL50698531M - OL51077077M - OL1558935M
Online Computer Library Center (OCLC) ID: 24792093
Library of Congress Control Number (LCCN): 91039902
All ISBNs: ➤ 9781468468199 - 1468468197 - 9781468468205 - 9783764336257 - 1468468200 - 3764336250 - 9780817636258 - 0817636250

Access and General Info:

First Year Published: 1992
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

Online Marketplaces

Find Verifying temporal properties of systems at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

23Relative complexities of first order calculi

By Elmar Eder

“Relative complexities of first order calculi” Metadata:

Title: ➤ Relative complexities of first order calculi
Author: Elmar Eder
Languages: ger - English
Number of Pages: Median: 173
Publisher: ➤ Vieweg - Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH - Vieweg+Teubner Verlag
Publish Date: 1992 - 2013
Publish Location: Braunschweig/Wiesbaden

“Relative complexities of first order calculi” Subjects and Themes:

Subjects: Artificial intelligence - Automatic theorem proving - Computational complexity

Edition Identifiers:

The Open Library ID: OL50610376M - OL29825889M - OL1346024M
Library of Congress Control Number (LCCN): 92233281
All ISBNs: 3322842223 - 9783322842220 - 9783528051228 - 3528051221

Access and General Info:

First Year Published: 1992
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Relative complexities of first order calculi at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

24Metamathematics, machines, and Gödel's proof

By N. Shankar

“Metamathematics, machines, and Gödel's proof” Metadata:

Title: ➤ Metamathematics, machines, and Gödel's proof
Author: N. Shankar
Language: English
Number of Pages: Median: 202
Publisher: Cambridge University Press
Publish Date: 1994 - 2009 - 2011
Publish Location: New York - Cambridge

“Metamathematics, machines, and Gödel's proof” Subjects and Themes:

Subjects: Automatic theorem proving - Data processing - Gödel's theorem - Computer science, mathematics

Edition Identifiers:

The Open Library ID: OL34444156M - OL1222783M - OL40494557M
Library of Congress Control Number (LCCN): 94222366
All ISBNs: ➤ 9780511569883 - 052142027X - 051188138X - 9780511881381 - 0511569882 - 9780521420273

Access and General Info:

First Year Published: 1994
Is Full Text Available: No
Is The Book Public: No
Access Status: Unclassified

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 Metamathematics, machines, and Gödel's proof at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

25A fascinating country in the world of computing

By Larry Wos and Gail W. Pieper

“A fascinating country in the world of computing” Metadata:

Title: ➤ A fascinating country in the world of computing
Authors: Larry WosGail W. Pieper
Language: English
Number of Pages: Median: 587
Publisher: ➤ World Scientific Publishing Co Pte Ltd - World Scientific Publishing Company - World Scientific
Publish Date: 1999 - 2000
Publish Location: River Edge, NJ - Singapore

“A fascinating country in the world of computing” Subjects and Themes:

Subjects: ➤ Automatic theorem proving - Knowledge-based systems / expert systems - Applied - Applied Mathematics - Mathematics - Computers - General Information - Science/Mathematics - Artificial Intelligence - General - General - Computer science

Edition Identifiers:

The Open Library ID: OL9194991M - OL15476850M - OL49255473M
Online Computer Library Center (OCLC) ID: 43799884
All ISBNs: 9789810239107 - 9810239106 - 9812817956 - 9789812817952

First Setence:

"What is shared by the following three problems, the first an intriguing puzzle, the second an interesting circuit design question, and the third a deep theorem from mathematics?"

Access and General Info:

First Year Published: 1999
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 A fascinating country in the world of computing at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

26Gems of Theoretical Computer Science

By Uwe Schöning, Randall J. Pruim and R. Pruim

“Gems of Theoretical Computer Science” Metadata:

Title: ➤ Gems of Theoretical Computer Science
Authors: Uwe SchöningRandall J. PruimR. Pruim
Language: English
Number of Pages: Median: 333
Publisher: ➤ Springer My Copy UK - Springer London, Limited - Springer
Publish Date: 1998 - 2011 - 2012

“Gems of Theoretical Computer Science” Subjects and Themes:

Subjects: Automatic theorem proving

Edition Identifiers:

The Open Library ID: OL28261944M - OL28415843M - OL37240399M
All ISBNs: ➤ 9783642603228 - 9783642603235 - 3642643523 - 9783642643521 - 364260322X - 3642603238

Access and General Info:

First Year Published: 1998
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Gems of Theoretical Computer Science at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

27Concrete Semantics

By Tobias Nipkow and Gerwin Klein

“Concrete Semantics” Metadata:

Title: Concrete Semantics
Authors: Tobias NipkowGerwin Klein
Language: English
Number of Pages: Median: 298
Publisher: ➤ Springer - Springer International Publishing AG
Publish Date: 2014 - 2016

“Concrete Semantics” Subjects and Themes:

Subjects: ➤ Computer science - Logic design - Automatic theorem proving - Logics and Meanings of Programs - Programming Languages, Compilers, Interpreters - Mathematical Logic and Formal Languages

Edition Identifiers:

The Open Library ID: OL34383012M - OL34387826M - OL37420813M
All ISBNs: ➤ 9783319357591 - 331935759X - 3319105418 - 9783319105413 - 9783319105420 - 3319105426

Access and General Info:

First Year Published: 2014
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

Online Marketplaces

Find Concrete Semantics at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

28Automated deduction in geometry

By Jürgen Richter-Gebert and Dongming Wang

“Automated deduction in geometry” Metadata:

Title: ➤ Automated deduction in geometry
Authors: Jürgen Richter-GebertDongming Wang
Language: English
Number of Pages: Median: 325
Publisher: ➤ Springer - Springer London, Limited
Publish Date: 2001 - 2003 - 2006

“Automated deduction in geometry” Subjects and Themes:

Subjects: ➤ Geometry - Congresses - Symbolic and mathematical Logic - Data processing - Automatic theorem proving - Geometry, data processing - Logic, symbolic and mathematical - Logic, Symbolic and mathematical

Edition Identifiers:

The Open Library ID: OL37093006M - OL9514311M - OL37394701M
Online Computer Library Center (OCLC) ID: 47996332
Library of Congress Control Number (LCCN): 2001049648
All ISBNs: ➤ 3540425985 - 9783540479970 - 9783540425984 - 354047997X - 3540454101 - 9783540454106

First Setence:

"Spatial constraint solving involves decomposing the constraint schema into a collection of indecomposable subproblems, followed by a solution of those subproblems."

Access and General Info:

First Year Published: 2001
Is Full Text Available: No
Is The Book Public: No
Access Status: Unclassified

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 geometry at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

29Computational logic

By J. A. Robinson and Jean-Louis Lassez

“Computational logic” Metadata:

Title: Computational logic
Authors: J. A. RobinsonJean-Louis Lassez
Language: English
Number of Pages: Median: 735
Publisher: MIT Press - The MIT Press
Publish Date: 1991 - 2013
Publish Location: Cambridge, Mass

“Computational logic” Subjects and Themes:

Subjects: Logic programming - Automatic theorem proving
People: J. A. Robinson

Edition Identifiers:

The Open Library ID: OL53243998M - OL9795085M - OL1862495M
Online Computer Library Center (OCLC) ID: 22544719
Library of Congress Control Number (LCCN): 90020172
All ISBNs: 0262519305 - 9780262121569 - 0262121565 - 9780262519304

Access and General Info:

First Year Published: 1991
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Computational logic at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

30Methods of Cut-Elimination

By Alexander Leitsch

“Methods of Cut-Elimination” Metadata:

Title: Methods of Cut-Elimination
Author: Alexander Leitsch
Language: English
Number of Pages: Median: 296
Publisher: ➤ Springer - Springer Science+Business Media B.V. - Matthias Baaz
Publish Date: 2011 - 2013
Publish Location: Dordrecht

“Methods of Cut-Elimination” Subjects and Themes:

Subjects: ➤ Mathematics - Symbolic and mathematical Logic - Computer science - Automatic theorem proving - Proof theory - Mathematical Logic and Foundations - Mathematical Logic and Formal Languages

Edition Identifiers:

The Open Library ID: OL27971590M - OL28168439M - OL25555224M
All ISBNs: ➤ 9400703201 - 9789400734975 - 9789400703216 - 9400703198 - 9789400703209 - 9789400703193 - 9400734972 - 940070321X

Access and General Info:

First Year Published: 2011
Is Full Text Available: No
Is The Book Public: No
Access Status: Unclassified

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 Methods of Cut-Elimination at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

31Automated Technology for Verification and Analysis

By Dang Van Hung and Mizuhito Ogawa

“Automated Technology for Verification and Analysis” Metadata:

Title: ➤ Automated Technology for Verification and Analysis
Authors: Dang Van HungMizuhito Ogawa
Language: English
Number of Pages: Median: 542
Publisher: ➤ Springer London, Limited - Springer International Publishing AG - Springer
Publish Date: 2013 - 2020

“Automated Technology for Verification and Analysis” Subjects and Themes:

Subjects: ➤ Automatic theorem proving - Software engineering - Computer science - Computer Communication Networks - Logic design - Programming Techniques - Logics and Meanings of Programs - Programming Languages, Compilers, Interpreters - Software Engineering/Programming and Operating Systems

Edition Identifiers:

The Open Library ID: OL37314461M - OL28000937M - OL37229323M
All ISBNs: ➤ 3319024442 - 3319024434 - 9783030591519 - 9783319024431 - 3030591514 - 9783319024448

Access and General Info:

First Year Published: 2013
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Technology for Verification and Analysis at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

32Automated Deduction in Geometry

By Tetsuo Ida and Jacques Fleuriot

“Automated Deduction in Geometry” Metadata:

Title: ➤ Automated Deduction in Geometry
Authors: Tetsuo IdaJacques Fleuriot
Language: English
Number of Pages: Median: 204
Publisher: Springer
Publish Date: 2013

“Automated Deduction in Geometry” Subjects and Themes:

Subjects: ➤ Geometry, data processing - Automatic theorem proving - Software engineering - Computer graphics - Artificial Intelligence (incl. Robotics) - Computer science - Computational complexity - Algebra - Data processing - Artificial intelligence - Mathematical Logic and Formal Languages - Symbolic and Algebraic Manipulation - Discrete Mathematics in Computer Science

Edition Identifiers:

The Open Library ID: OL28150785M - OL30370177M - OL34882553M
All ISBNs: ➤ 3642406734 - 3642406726 - 9783642406720 - 9783642406737 - 9783642406713 - 3642406718

Access and General Info:

First Year Published: 2013
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Geometry at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

33Automated Design of Analog and High-frequency Circuits

By Bo Liu, Georges Gielen and Francisco V. Fernández

“Automated Design of Analog and High-frequency Circuits” Metadata:

Title: ➤ Automated Design of Analog and High-frequency Circuits
Authors: Bo LiuGeorges GielenFrancisco V. Fernández
Language: English
Number of Pages: Median: 235
Publisher: ➤ Springer Berlin / Heidelberg - Springer London, Limited - Springer
Publish Date: 2013 - 2015

“Automated Design of Analog and High-frequency Circuits” Subjects and Themes:

Subjects: ➤ Computational intelligence - Automatic theorem proving - Problem solving, data processing

Edition Identifiers:

The Open Library ID: OL36725148M - OL36226623M - OL28157039M
All ISBNs: ➤ 3642391621 - 9783642391613 - 3642391613 - 3642446450 - 9783642446450 - 9783642391620

Access and General Info:

First Year Published: 2013
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Design of Analog and High-frequency Circuits at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

34Automated Theorem Proving

By Monty Newborn

“Automated Theorem Proving” Metadata:

Title: Automated Theorem Proving
Author: Monty Newborn
Language: English
Number of Pages: Median: 238
Publisher: ➤ Springer London, Limited - Springer
Publish Date: 2000 - 2012 - 2013

“Automated Theorem Proving” Subjects and Themes:

Subjects: Automatic theorem proving

Edition Identifiers:

The Open Library ID: OL28022396M - OL7448708M - OL37241042M
All ISBNs: ➤ 9780387950754 - 9781461265191 - 0387950753 - 1461265193 - 1461300894 - 9781461300892

First Setence:

"This book is about how computers prove theorems."

Access and General Info:

First Year Published: 2000
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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.

35Automated Deduction in Geometry

By Francisco Botana

“Automated Deduction in Geometry” Metadata:

Title: ➤ Automated Deduction in Geometry
Author: Francisco Botana
Language: English
Number of Pages: Median: 201
Publisher: ➤ Springer-Verlag Berlin Heidelberg - Springer
Publish Date: 2007 - 2015
Publish Location: Berlin, Heidelberg

“Automated Deduction in Geometry” Subjects and Themes:

Subjects: ➤ Computational complexity - Computer graphics - Discrete groups - Computer science - Optical pattern recognition - Artificial intelligence - Geometry, data processing - Automatic theorem proving - Logic, symbolic and mathematical - Geometry - Congresses - Data processing - Symbolic and mathematical Logic

Edition Identifiers:

The Open Library ID: OL34887955M - OL25541081M - OL28158008M
Online Computer Library Center (OCLC) ID: 185038876
Library of Congress Control Number (LCCN): 2007941260
All ISBNs: ➤ 9783319213613 - 9783540773566 - 3319213628 - 331921361X - 3540773568 - 9783319213620 - 354077355X - 9783540773559

Access and General Info:

First Year Published: 2007
Is Full Text Available: No
Is The Book Public: No
Access Status: Unclassified

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 Geometry at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

36Higher order logic theorem proving and its applications

By Carl-Johan H. Seger and Jeffrey J. Joyce

“Higher order logic theorem proving and its applications” Metadata:

Title: ➤ Higher order logic theorem proving and its applications
Authors: Carl-Johan H. SegerJeffrey J. Joyce
Language: English
Number of Pages: Median: 518
Publisher: Springer-Verlag - Springer
Publish Date: 1994
Publish Location: New York - Berlin

“Higher order logic theorem proving and its applications” Subjects and Themes:

Subjects: Congresses - Automatic theorem proving

Edition Identifiers:

The Open Library ID: OL7447493M - OL9061187M - OL1078293M
Online Computer Library Center (OCLC) ID: 29844349
Library of Congress Control Number (LCCN): 94001560
All ISBNs: 3540578269 - 0387578269 - 9780387578262 - 9783540578260

Access and General Info:

First Year Published: 1994
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Higher order logic theorem proving and its applications at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

37Extensional Constructs in Intensional Type Theory

By Martin Hofmann

“Extensional Constructs in Intensional Type Theory” Metadata:

Title: ➤ Extensional Constructs in Intensional Type Theory
Author: Martin Hofmann
Language: English
Number of Pages: Median: 216
Publisher: ➤ Springer - Springer London, Limited - Springer London
Publish Date: 1997 - 2011
Publish Location: London

“Extensional Constructs in Intensional Type Theory” Subjects and Themes:

Subjects: ➤ Automatic theorem proving - Functional programming (computer science) - Logic, symbolic and mathematical

Edition Identifiers:

The Open Library ID: OL34373534M - OL27962814M - OL27037943M
Online Computer Library Center (OCLC) ID: 840277291
All ISBNs: ➤ 1447112431 - 1447109635 - 9781447109648 - 9781447112433 - 9781447109631 - 1447109643

Access and General Info:

First Year Published: 1997
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Extensional Constructs in Intensional Type Theory at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

38Practical reasoning

By International Conference on Formal and Applied Practical Reasoning (1996 Bonn, Germany)

“Practical reasoning” Metadata:

Title: Practical reasoning
Author: ➤ International Conference on Formal and Applied Practical Reasoning (1996 Bonn, Germany)
Language: English
Number of Pages: Median: 719
Publisher: Springer
Publish Date: 1996
Publish Location: New York - London - Berlin

“Practical reasoning” Subjects and Themes:

Subjects: Congresses - Automatic theorem proving - Reasoning - Artificial intelligence - Practical reason

Edition Identifiers:

The Open Library ID: OL9061861M - OL984814M - OL22315752M
Online Computer Library Center (OCLC) ID: 34676096
Library of Congress Control Number (LCCN): 96022590
All ISBNs: 3540613137 - 9783540613138

First Setence:

"The representation of statistical evidence in belief-function theory has always been a problematic issue."

Access and General Info:

First Year Published: 1996
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Practical reasoning at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

39Mechanical Geometry Theorem Proving

By Shang-Ching Chou

“Mechanical Geometry Theorem Proving” Metadata:

Title: ➤ Mechanical Geometry Theorem Proving
Author: Shang-Ching Chou
Language: English
Number of Pages: Median: 378
Publisher: Springer
Publish Date: 1899 - 1987 - 2001

“Mechanical Geometry Theorem Proving” Subjects and Themes:

Subjects: Automatic theorem proving

Edition Identifiers:

The Open Library ID: OL51661121M - OL8369899M - OL9096803M
All ISBNs: ➤ 9789400940376 - 9400940378 - 9789027726506 - 1402003307 - 9781402003301 - 9027726507

Access and General Info:

First Year Published: 1899
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Mechanical Geometry Theorem Proving at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

40Isabelle

By Lawrence C. Paulson

“Isabelle” Metadata:

Title: Isabelle
Author: Lawrence C. Paulson
Language: English
Number of Pages: Median: 321
Publisher: Springer-Verlag - Springer
Publish Date: 1994
Publish Location: New York - Berlin

“Isabelle” Subjects and Themes:

Subjects: Automatic theorem proving - Isabelle (Computer file)

Edition Identifiers:

The Open Library ID: OL7447563M - OL9061283M - OL1079987M
Online Computer Library Center (OCLC) ID: 30667004
Library of Congress Control Number (LCCN): 94003445
All ISBNs: 0387582444 - 9783540582441 - 3540582444 - 9780387582443

First Setence:

"The following sections discuss Isabelle's logical foundations in detail: representing logical syntax in the typed -calculus; expressing inference rules in Isabelle's meta-logic; combining rules by resolution."

Access and General Info:

First Year Published: 1994
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Isabelle at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

41Computational logic

By Fariba Sadri and Robert Kowalski

“Computational logic” Metadata:

Title: Computational logic
Authors: Fariba SadriRobert Kowalski
Language: English
Number of Pages: Median: 687
Publisher: Springer
Publish Date: 2002
Publish Location: New York - Heidelberg

“Computational logic” Subjects and Themes:

Subjects: Logic programming - Automatic theorem proving - Logic programming languages - Programming languages (electronic computers)

Edition Identifiers:

The Open Library ID: OL9057846M - OL22472137M - OL18175345M
Online Computer Library Center (OCLC) ID: 50393770
Library of Congress Control Number (LCCN): 2002026826
All ISBNs: 3540439609 - 3540439595 - 9783540439608 - 9783540439592

Access and General Info:

First Year Published: 2002
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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 Computational logic at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

42Automated Reasoning with Analytic Tableaux and Related Methods

By Bernhard Beckert

“Automated Reasoning with Analytic Tableaux and Related Methods” Metadata:

Title: ➤ Automated Reasoning with Analytic Tableaux and Related Methods
Author: Bernhard Beckert
Language: English
Number of Pages: Median: 343
Publisher: ➤ Springer - Springer London, Limited
Publish Date: 2005 - 2007

“Automated Reasoning with Analytic Tableaux and Related Methods” Subjects and Themes:

Subjects: Congresses - Automatic theorem proving

Edition Identifiers:

The Open Library ID: OL37117846M - OL9055932M
All ISBNs: 9783540318224 - 3540318224 - 9783540289319 - 3540289313

Access and General Info:

First Year Published: 2005
Is Full Text Available: No
Is The Book Public: No
Access Status: No_ebook

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.

43Compositionality

By COMPOS '97 (1997 Malente, Germany)

“Compositionality” Metadata:

Title: Compositionality
Author: ➤ COMPOS '97 (1997 Malente, Germany)
Language: English
Number of Pages: Median: 646
Publisher: Springer
Publish Date: 1998
Publish Location: Berlin - New York

“Compositionality” Subjects and Themes:

Subjects: ➤ Congresses - Parallel processing (Electronic computers) - Automatic theorem proving

Edition Identifiers:

The Open Library ID: OL17699748M - OL17840738M - OL17837913M
Online Computer Library Center (OCLC) ID: 40535053
Library of Congress Control Number (LCCN): 98055092
All ISBNs: 3540654933 - 9783540654933

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 Compositionality at online marketplaces:

Amazon: Audiable, Kindle and printed editions.

Ebay: New & used books.

44Automated Deduction - CADE-16

By Harald Ganzinger

“Automated Deduction - CADE-16” Metadata:

Title: Automated Deduction - CADE-16
Author: Harald Ganzinger
Language: English
Number of Pages: Median: 429
Publisher: Springer
Publish Date: 1999 - 2003

“Automated Deduction - CADE-16” Subjects and Themes:

Subjects: ➤ Congresses - Symbolic and mathematical Logic - Automatic theorem proving

Edition Identifiers:

The Open Library ID: OL37394622M - OL9456691M
All ISBNs: 9783540486602 - 3540486607 - 9783540662228 - 3540662227

First Setence:

"Modern categorial grammars [8], which are intended to give a deductive account of grammatical composition, are based on substructural logics whose paradigm is the Lambek calculus [7]."