Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

Books

246 works - Books.

Home
Books

"246" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Automated reasoning with analytic tableaux and related methods

Automated reasoning with analytic tableaux and related methods: 20th International Conference, TABLEAUX 2011, Ber…

by TABLEAUX 2011, Bern, Switzerland), Metcalfe, George, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX, Bern, Switzerland), BruÌ#x88;nnler, Kai

fromLecture Notes in Computer Science

0 Type: Book

Automated reasoning with analytic tableaux and related methods

Automated reasoning with analytic tableaux and related methods: 20th international conference, TABLEAUX 2011, Ber…

by Brünnler, Kai, Metcalfe, George, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Bern)

fromLecture Notes in Computer Science

0 Type: Book

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Ber…

by TABLEAUX 2011, Bern, Switzerland), Brünnler, Kai, TABLEAUX 2011

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descripti…

Automated reasoning with analytic tableaux and related methods

Automated reasoning with analytic tableaux and related methods: 20th international conference, TABLEAUX 2011, Ber…

by TABLEAUX 2011, Bern, Switzerland), Brünnler, Kai, Metcalfe, George

fromLecture Notes in Computer Science

0 Type: Book

Automated reasoning with analytic tableaux and related methods

Automated reasoning with analytic tableaux and related methods: 20th international conference, tableaux 2011, Ber…

by International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Bern)

fromLecture Notes in Computer Science

0 Type: Book

Automated reasoning with analytic tableaux and related methods

Automated reasoning with analytic tableaux and related methods: 20th international conference, TABLEAUX 2011, Ber…

by TABLEAUX 2011, Bern, Switzerland), Brünnler, Kai, Metcalfe, George

fromLecture Notes in Computer Science

0 Type: Book

This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011. The 16 revised research papers presented together with 2 system descript…

A computational logic handbook

A computational logic handbook

by Boyer, Robert S., Moore, J. Strother

fromPerspectives in computing

0 Type: Book

A computational logic handbook

A computational logic handbook

by Boyer, Robert S., Moore, J. Strother

fromPerspectives in computing (Boston, Mass.)

0 Type: Book

A computational logic handbook

A computational logic handbook

by Boyer, Robert S., Moore, J. Strother

fromPerspectives in computing (Boston, Mass.)

0 Type: Book

A computational logic handbook

A computational logic handbook

by Boyer, Robert S., Moore, J. Strother

fromPerspectives in computing

0 Type: Book

A computational logic handbook

A computational logic handbook

by Boyer, Robert S., Moore, J. Strother

fromPerspectives in computing

0 Type: Book

A computational logic handbook

A computational logic handbook

by Rheinboldt, Werner, Boyer, Robert S., Moore, J. Strother, Siewiorek, Daniel

0 Type: Book

A Computational Logic Handbook.

A computational logic handbook

A computational logic handbook

by Boyer, Robert S., Moore, J. Strother

fromPerspectives in computing (Boston, Mass.)

0 Type: Book

A computational logic handbook

A computational logic handbook

by Boyer, Robert S., Moore, J. Strother

fromPerspectives in computing (Boston, Mass.)

0 Type: Book

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984: proceedings

by International Conference on Automated Deduction, Napa, Calif.), Shostak, Robert

fromLecture Notes in Computer Science

0 Type: Book

7th International Conference on Automated Deduction, Napa, California, May 14-16, 1984 : proceedings

7th International Conference on Automated Deduction, Napa, California, May 14-16, 1984 : proceedings

by International Conference on Automated Deduction, Napa, Calif.), Shostak, Robert

fromLecture Notes in Computer Science

0 Type: Book

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984: proceedings

by International Conference on Automated Deduction, Napa, Calif.), Shostak, Robert

fromLecture Notes in Computer Science

0 Type: Book

Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984

Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984: proceedings

by International Conference on Automated Deduction, Napa, Calif.), Shostak, Robert

fromLecture Notes in Computer Science

0 Type: Book

7th international conference on automated deduction

7th international conference on automated deduction: Napa, California, USA, may 14-16, 1984 : proceedi…

by International Conference on Automated Deduction, Napa)

fromLecture Notes in Computer Science

0 Type: Book

7th International Conference on Automated Deduction

7th International Conference on Automated Deduction

by International Conference on Automated Deduction, Napa, Calif.), Shostak, R. E.

fromLecture Notes in Computer Science

0 Type: Book

1
2
3
4
5
6
7
8
9
10

Subjects

Automatic theorem proving (246) Théorèmes -- Démonstration au… (145) Automatic theorem proving -- … (104) Théorèmes -- Congrès. -- Démo… (91) Logic, Symbolic and mathemati… (68) artificial intelligence (36) Logique symbolique et mathéma… (35) Logic, Symbolic and mathemati… (30) Automatisches Beweisverfahren (29) Intelligence artificielle (28) Logique symbolique et mathéma… (26) Informatique (21) Software Engineering (16) logica (16) COMPUTER PROGRAMMING (15) Qualitative reasoning (15) Raisonnement qualitatif (14) Computer Science (12) Logic programming (11) mathematics (11) Automatische bewijsvoering (10) Computational complexity (10) Génie logiciel (10) Logic (10) Programmation logique (10) Programming languages (Electr… (10) wiskunde (10) Algebra, Boolean (9) Algèbre de Boole (9) Complexité de calcul (Informa… (9) Computer programming -- Congr… (9) Langages de programmation -- … (9) Programmation (Informatique) … (9) Circuits logiques (8) Computer logic (8) Computer logic -- Congresses (8) Logic circuits (8) Logique informatique -- Congr… (8) Computer systems -- Evaluation (7) Künstliche Intelligenz (7) Stochastic analysis -- Data p… (7) kunstmatige intelligentie (7) Informatie- en communicatiete… (6) Information and Communication… (6) Logic design (6) Programmation informatique (6) computer sciences (6) computerwetenschappen (6) démonstration de théorème (6) Analyse stochastique -- Infor… (5) Axiomes -- Informatique (5) Axioms -- Data processing (5) Beweistheorie (5) Bewijstheorie (5) Computer software (5) Démonstration automatique de … (5) Eingebettetes System (5) Electronic Data Processing (5) Formale Methode (5) Geometry -- Data processing (5) Hardwareentwurf (5) Hybrides System (5) Kongress (5) Model Checking (5) Softwareentwicklung (5) Systemanalyse (5) Systementwurf (5) Systèmes informatiques -- Éva… (5) Verifikation (5) Zeitbehafteter Automat (5) démonstration théorème (5) programmeertalen (5) Geometry -- Congresses. -- Da… (4) Géométrie -- Congrès. -- Info… (4) HOL (4) Logiciels (4) Logik (4) Logique (4) Mathematical logic (4) Mathematics -- Charts, diagra… (4) Programmatuurtechniek (4) Proof theory (4) Structure logique (4) Theorems (4) software (4) (VLB-FS)theorem proving (3) (VLB-PF)BC: Paperback (3) (VLB-WN)1632: Hardcover, Soft… (3) AUTOMATIQUE (3) Algorithmes -- Congrès (3) COMPUTER PROGRAMS (3) Decision making -- Congresses… (3) Decision making -- Data proce… (3) Geometrie (3) Prise de décision -- Congrès.… (3) Programming (3) Raisonnement (Informatique) (3) Théorie de la preuve (3) Typentheorie (3) computational mathematics (3) computerwiskunde (3) programming languages (3) (VLB-FS)formal verification (2) (VLB-FS)model checking (2) (VLB-FS)software engineering (2) (VLB-FS)verification (2) ALGORITHMS (2) AUTOMATISCHE BEWEISFÜHRUNG (M… (2) Artificial Intelligence (incl… (2) Artificial intelligence -- Co… (2) Aufsatzsammlung (2) Automatic theorem proving / H… (2) Benutzeroberfläche (2) Bevis (logik) (2) Bevisteori (2) Bewijs (wetenschap) (2) Bledsoe, Woody W. (2) Boolesche Algebra (2) COMPUTERS -- Computer Literacy (2) COMPUTERS -- Computer Science (2) COMPUTERS -- Data Processing (2) COMPUTERS -- Hardware (2) COMPUTERS -- Information Tech… (2) COMPUTERS -- Machine Theory (2) COMPUTERS -- Reference (2) Computabilidade E Modelos De … (2) Computer (2) Computer Communication Networ… (2) Computer algorithms (2) Computer algorithms -- Congre… (2) Computer programs -- Congress… (2) Computer. Automation (2) DEMONSTRATION (2) Datenverarbeitung (2) Deductie (2) Diagrammatisches Schließen (2) First-order logic (2) Induction (Logique) -- Congrès (2) Inteligencia artificial (comp… (2) Intelligence artificielle -- … (2) Intuitionistische Logik (2) Komplexität (2) Logiciels -- Congrès (2) Logische Schaltung (2) MATHEMATICS -- General (2) Macao <2009> (2) Mathematical Logic and Formal… (2) Mathematische Logik (2) Mehrsortige Prädikatenlogik (2) München <2009> (2) Programutveckling (2) Proposition (2) Prädikatenlogik (2) Qualitative reasoning / Handb… (2) Reasoning (2) Redeneren (2) Sprachlogik (2) Stufe 1 (2) Wos, Larry, (Lawrence) (2) algoritmen (2) calcul propositionnel (2) computer analysis (2) computeranalyse (2) démonstration automatique (2) geometry (2) higher-order-logic (2) logische Programmierung (2) programmeren (2) programmeren (informatica) (2) računalništvo (2) (Keywords)connection calculus (1) (Keywords)decision procedures (1) (Keywords)first order logic (1) (Keywords)hybrid logic (1) (Keywords)proof theory (1) (Produktform)Paperback / soft… (1) (VLB-FS)Agda (1) (VLB-FS)Coq (1) (VLB-FS)HOL (1) (VLB-FS)MIZAR (1) (VLB-FS)analytic tableaux (1) (VLB-FS)automata (1) (VLB-FS)automata theory (1) (VLB-FS)automated deduction (1) (VLB-FS)automated reasoning (1) (VLB-FS)circuit verification (1) (VLB-FS)computer aided verifi… (1) (VLB-FS)datalog (1) (VLB-FS)first-order logic (1) (VLB-FS)formal languages (1) (VLB-FS)formal methods (1) (VLB-FS)higher-order logic (1) (VLB-FS)logic programming (1) (VLB-FS)mathematical logic (1) (VLB-FS)memory model (1) (VLB-FS)petri nets (1) (VLB-FS)policy monitoring (1) (VLB-FS)program analysis (1) (VLB-FS)program verification (1) (VLB-FS)programming techniques (1) (VLB-FS)proof pearl (1) (VLB-FS)query languages (1) (VLB-FS)requirements engineer… (1) (VLB-FS)rewriting techniques (1) (VLB-FS)satisfiability testing (1) (VLB-FS)second-order logic (1) (VLB-FS)security protocols (1) (VLB-FS)simulation (1) (VLB-FS)software analysis (1) (VLB-FS)software verification (1) (VLB-FS)systems analysis (1) (VLB-FS)temporal logic (1) (VLB-FS)validation (1) (VLB-PF)BB: Gebunden (1) (VLB-PF)WW: Medienkombination (1) (Zielgruppe)Research (1) 54.10 theoretical informatics (1) 54.72 artificial intelligence (1) ADG (1) AUTOMATED THEOREM PROVING (MA… (1) Algebra (1) Algebra -- Data processing (1) Algorithm Analysis and Proble… (1) Algorithme (1) Algorithmes -- Manuels d'ense… (1) Algèbre -- informatique (1) Analyse de programmes (Inform… (1) Artificial intelligence. Robo… (1) Artificiell intelligens (1) Automated deduction (1) Automatic theorem proving -- … (1) Automatisches Beweisverfahren… (1) Axiomas -- Informática (1) Axioms (1) Bledsoe, W. W., (Woodrow Wils… (1) Boole, Algèbre de -- Manuels … (1) COMPUTER SCIENCE/General (1) COMPUTERS -- Programming Lang… (1) Calcul automatique (1) Calcul des propositions -- Ma… (1) Calcul propositionnel -- Manu… (1) Complex analysis (1) Computer graphics (1) Computer programs -- Analysis (1) Computer science -- Congresses (1) Computerunterstützter Beweis (1) Computing Methodologies (1) Conception (1) Construction (1) Coq (1) Databehandling (1) Design (1) Developpement (1) Discrete Mathematics in Compu… (1) DÉMONSTRATION AUTOMATIQUE (LO… (1) Edinburgh <2010> (1) Engineering & Applied Sciences (1) Euklidische Geometrie (1) FACHLICHE NACHSCHLAGEWERKE + … (1) First-order logic -- Textbooks (1) Formal probabilistic analysis (1) Formele logica (1) Genie (1) Geometria (1) Geometry. Theorems. Proof. Ap… (1) Geometría -- Fundamentos (1) Géométrie -- Informatique (1) Géométrie algébrique (1) IFIP (1) INDUCTIVE LOGIC (MATHEMATICAL… (1) INDUKTIVE LOGIK (MATHEMATISCH… (1) Induction (Mathématiques) (1) Information Systems Applicati… (1) Information theory (1) Informatique -- Congrès (1) Intuitionistic mathematics (1) Jouy-en-Josas <2004> (1) Khoa học máy tính -- Sổ tay (1) LOGICIEL (1) LOGIQUE INDUCTIVE (LOGIQUE MA… (1) Langage (1) Lebesgue integration (1) Logic machines (1) Logic machines -- Congresses (1) Logiciels -- Développement (1) Logics and Meanings of Progra… (1) Logik und Grundlagen (1) Logique computationnelle (1) Logique du premier ordre (1) Logique du premier ordre -- M… (1) Logique mathématique (1) Logique mathématique -- Manue… (1) Logique propositionnelle (1) Lógica matemática (1) MATHEMATICS -- Geometry (1) MATHEMATICS -- Logic (1) Machines logiques -- Congrès (1) Markov Chains (1) Matematik (1) Matematisk logik (1)

Contributor

Boyer, Robert S. (13) Chou, Shang-Ching (13) Pieper, Gail W. (11) Andrews, James H. (10) Dybjer, Peter (9) Filliâtre, Jean-Christophe (9) Liu, Zhiming (9) Paulin-Mohring, Christine (9) Ravn, Anders P. (9) Werner, Benjamin (9) Bledsoe, W. W. (8) International Conference on A… (8) Karchmer, Mauricio (8) Moore, J. Strother (8) Schumann, Johann M. (8) Shostak, Robert (8) Smith, Jan M. (8) Wos, Larry (8) Hasan, Osman (7) Loveland, Donald W. (7) Nordström, Bengt (7) Robinson, J. A., (John Alan) (7) TYPES 2004, Jouy-en-Josas, Fr… (7) Tahar, Sofiène (7) Walther, Christoph (7) Bibel, Wolfgang (6) Claesen, Luc J. M. (6) Gao, Xiao-Shan (6) Schmidt, Renate A. (6) Schmitt, Peter H. (6) Special Session on Automatic … (6) American Mathematical Society (5) Berghofer, Stefan (5) Bertot, Yves (5) Fitting, Melvin (5) Gordon, Michael J. C. (5) Jamnik, Mateja (5) Snyder, Wayne (5) Voronkov, Andrei (5) Brünnler, Kai (4) International Conference on A… (4) International Workshop TYPES … (4) International Workshop on Aut… (4) Metcalfe, George (4) Narboux, Julien (4) Schreck, Pascal (4) Sofronie-Stokkermans, Viorica (4) TABLEAUX 2011, Bern, Switzerl… (4) Voronkov, A., (Andrei) (4) Zhang, Jingzhong (4) ATVA (Symposium), Macau, Chin… (3) Bibel, W. (3) Brafman, Ronen I. (3) Castéran, Pierre (3) Commission of the European Co… (3) Gramlich, Bernhard,, Dr.rer.n… (3) IJCAR (Conference), Mancheste… (3) International Conference on A… (3) International Workshop TYPES,… (3) Interuniversity Micro-Electro… (3) Nipkow, Tobias (3) Pieper, Gail W., (Gail Worsno… (3) Richter-Gebert, Jürgen (3) Roberts, Fred S. (3) Sattler, Uli (3) Schmitt, P. H., (Peter H.) (3) Tsoukias, Alexis (3) Urban, Christian (3) Veroff, Robert (3) Wenzel, Makarius (3) Wos, Larry, (Lawrence) (3) ADT (Conference), Piscataway,… (2) ATVA 2009, Macau, China) (2) ATVA, Macau (2) Björner, Nikolaj (2) Castéran, P., (Pierre) (2) Chang, Ching-Chung (2) Eekelen, M. C. J. D. van (2) Fitting, Melvin Chris (2) Giesl, Jürgen (2) Hähnle, Reiner (2) IFIP TC 10/WG 10.2 Internatio… (2) IFIP TC10/WG10.2 Internationa… (2) IJCAR (Conference), Edinburgh… (2) ITP (Conference), Berg en Dal… (2) International Conference on A… (2) International Conference on A… (2) International Federation for … (2) International Workshop on Typ… (2) Miller, Dale, (Dale A.) (2) Special Session on Automatic … (2) Special Session on Automatic … (2) TPHOLs 2009, Munich, Germany) (2) TPHOLs, Munich, Germany) (2) TPHOLs, München (2) Tennant, Neil (2) World Scientific (Firm) (2) Wos, Lawrence Thomas (2) ADT 2011, Piscataway, N.J.) (1) ATVA 2009, Macao, China) (1) ATVA 2009, Macao, Chine) (1) ATVA, Macao) (1) American Mathematical Society… (1) American Mathematical Society… (1) American Mathematical Society… (1) American Mathematical Society… (1) American Mathematical Society… (1) Bibel, W., (Wolfgang) (1) BjoÌ#x88;rner, Nikolaj (1) Bjørner, Nikolaj (1) Bledsoe, W.W (1) Bledsoe, W.W., (Woodrow Wilso… (1) Bledsoe, Woodrow Wilson (1) Bledsoe, Woody W. (1) BruÌ#x88;nnler, Kai (1) CADE-23, Wroclaw, PL) (1) CHEOPS ESPRIT BRA 3215 (1) Cambridge University Press (1) Claesen, Luc J.M (1) Devismes, Stéphane (1) Dynjer, Peter (1) Eekelen, M.C.J.D. van, (Mariu… (1) Eekelen, Marco van (1) Fitting, Melvin, (Melvin Chri… (1) Gao, Xian-shan (1) Gordon, Michael J.C.,, inform… (1) IFIP TC10/WG10.2 Internationa… (1) IFIP TC10/WG10.2 Internationa… (1) IGI Global (1) IJCAR, Edinburgh) (1) IJCAR, Manchester (1) ITP 2011, Berg en Dal, Nether… (1) International Conference on A… (1) International Conference on A… (1) International Conference on A… (1) International Conference on I… (1) International Conference on T… (1) International Conference on T… (1) International Federation for … (1) International Symposium Autom… (1) International Symposium on Au… (1) International Workshop TYPES … (1) International Workshop TYPES … (1) International Workshop TYPES,… (1) International Workshop TYPES,… (1) International Workshop on Aut… (1) International Workshop on Hig… (1) International Workshop on Typ… (1) Lafourcade, Pascal (1) Loveland, D.W (1) Lévy, Michel Louis,, maître d… (1) Mignucci, Mario (1) Miller, Dale A. (1) Nordstroem, Bengt (1) NordstroÌ#x88;m, Bengt (1) Rheinboldt, Werner (1) Richtert-Gebert, Jürgen (1) Robinson, Alan (1) Robinson, Alan, (Alan G.) (1) Robinson, J. A. (1) Schmitt, P. H. (1) Shostak, R. E. (1) Siewiorek, Daniel (1) Smith, Jan (1) Special Session on Automatic … (1) Springer Nature (1) TABLEAUX 2011 (1) TPHOLs, Munich) (1) TYPES '94 (1) TYPES '94 (Workshop), Båstad,… (1) TYPES '94, Bastas, Sweden) (1) Wallen, Lincoln (1) Zhang, Jing-Zhong (1)

Publisher

Springer (87) Springer-Verlag (22) MIT Press (20) World Scientific (15) Elsevier (14) Kluwer Academic Publishers (12) American mathematical Society (10) Cambridge University Press (10) North-Holland (9) Academic Press (8) Pitman (6) Birkhäuser (5) CSLI Publications (3) Information Science Reference… (3) Kluwer Academic (3) CSLI (2) Cambridge Scholars Publishing (2) D. Reidel (2) Edinburgh University Press (2) Imprint: Springer (2) Information Science Reference (2) Morgan Kaufmann (2) Morgan Kaufmann Publishers (2) The MIT Press (2) World Scientific Pub. Co (2) American Math. Soc (1) D. Reidel Pub. Co (1) D. Reidel Publishing Company (1) Ellipses (1) Elsevier Science & Technology… (1) IGI Global (1) Kindersley (1) Kluwer (1) MIT (1) Morgan Kaufmann Publishers, I… (1) North Holland [Imprint] (1) Pitman Publishing (1) Reidel (1) Sold and distributed in the U… (1) Springer Berlin Heidelberg (1) Springer New York (1) Springer-Vlg (1) SpringerLink [host] (1) World scientific Publishing C… (1)

Year

2015 (7) 2014 (1) 2012 (5) 2011 (23) 2010 (3) 2009 (25) 2006 (9) 2004 (8) 2001 (27) 2000 (11) 1998 (11) 1997 (3) 1995 (14) 1994 (6) 1993 (11) 1992 (7) 1991 (9) 1990 (9) 1989 (7) 1988 (13) 1987 (8) 1985 (1) 1984 (19)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type