Explore: Propositional Calculus

“Beginning logic” Metadata:

• Title: Beginning logic
• Author: E. J. Lemmon
• Language: English
• Number of Pages: Median: 225
• Publisher: ➤  Nelson, Thomas Sons Ltd - Hackett Pub. Co. - Nelson - Chapman & Hall/CRC - Van Nostrand Reinhold
• Publish Date: ➤  1965 - 1967 - 1971 - 1978 - 1998
• Publish Location: ➤  [London] - Boca Raton, FL - London - (Toronto) - Wokingham - Indianapolis

“Beginning logic” Subjects and Themes:

• Subjects: ➤  Predicate calculus - Textbooks - Logic - Propositional calculus - Mathematics textbooks - Calculus textbooks - Einführung - Logik - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: ➤  OL18911919M - OL26565556M - OL22113296M - OL4740963M - OL15045570M - OL7381770M - OL386386M - OL13574652M - OL19454069M
• Online Computer Library Center (OCLC) ID: 1473027 - 4003925
• Library of Congress Control Number (LCCN): 98049119 - 78051926
• All ISBNs: ➤  0915144506 - 0177120401 - 9780412380907 - 0412380900 - 9780177120404 - 9780915144501 - 0442306768 - 9780442306762

“Propositional calculus” Metadata:

• Title: Propositional calculus
• Author: P. H. Nidditch
• Language: English
• Number of Pages: Median: 83
• Publisher: ➤  Dover Publications - Routledge & Kegan Paul - Routledge & K. Paul
• Publish Date: 1962 - 1965
• Publish Location: New York - London

“Propositional calculus” Subjects and Themes:

• Subjects: ➤  Propositional calculus - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: OL18919308M - OL15164308M - OL5990453M
• Library of Congress Control Number (LCCN): 66021253

“Elementary Point-Set Topology” Metadata:

• Title: Elementary Point-Set Topology
• Authors: Andre L. YandlAdam Bowers
• Language: English
• Number of Pages: Median: 256
• Publisher: ➤  Dover Publications, Incorporated
• Publish Date: 2016

“Elementary Point-Set Topology” Subjects and Themes:

• Subjects: Set theory - Topology - Calculus - Propositional calculus - Point set theory

Edition Identifiers:

• The Open Library ID: OL38375755M - OL28576938M
• Library of Congress Control Number (LCCN): 2015050597
• All ISBNs: 9780486803494 - 048680349X - 9780486811017 - 0486811018

“A Teaching Companion to Lemmon's Beginning Logic” Metadata:

• Title: ➤  A Teaching Companion to Lemmon's Beginning Logic
• Author: George F. Schumm
• Language: English
• Number of Pages: Median: 108
• Publisher: Hackett Publishing Company
• Publish Date: 1979

“A Teaching Companion to Lemmon's Beginning Logic” Subjects and Themes:

• Subjects: Propositional calculus - Predicate calculus - Logic - Philosophy, outlines, syllabi, etc.

Edition Identifiers:

• The Open Library ID: OL8334271M
• Library of Congress Control Number (LCCN): 78051926
• All ISBNs: 0915144654 - 9780915144655

“Classical propositional operators” Metadata:

• Title: ➤  Classical propositional operators
• Author: Krister Segerberg
• Language: English
• Number of Pages: Median: 151
• Publisher: Clarendon
• Publish Date: 1982
• Publish Location: Oxford

“Classical propositional operators” Subjects and Themes:

• Subjects: Propositional calculus - Calcul propositionnel - Propositielogica - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL21173922M
• Online Computer Library Center (OCLC) ID: 8407202
• Library of Congress Control Number (LCCN): 80041798
• All ISBNs: 9780198531739 - 0198531737

“SAT 2005” Metadata:

• Title: SAT 2005
• Authors: Enrico GiunchigliaToby Walsh
• Language: English
• Number of Pages: Median: 297
• Publisher: ➤  Springer - Springer London, Limited - Springer Netherlands
• Publish Date: 2006 - 2007 - 2008 - 2014

“SAT 2005” Subjects and Themes:

• Subjects: ➤  Computer algorithms - Computational complexity - Propositional calculus - Artificial intelligence - Computer science - Information theory - Artificial Intelligence (incl. Robotics) - Theory of Computation

Edition Identifiers:

• The Open Library ID: OL37197442M - OL37111705M - OL30538945M - OL8371894M
• Online Computer Library Center (OCLC) ID: 123201981
• Library of Congress Control Number (LCCN): 2007398861
• All ISBNs: ➤  9789048107667 - 1402055714 - 9789400787155 - 9781402045523 - 1402045522 - 9781402055713 - 9048107660 - 9400787154

“Propositional and Predicate Calculus” Metadata:

• Title: ➤  Propositional and Predicate Calculus
• Author: Derek Goldrei
• Language: English
• Number of Pages: Median: 315
• Publisher: Springer
• Publish Date: 2005

“Propositional and Predicate Calculus” Subjects and Themes:

• Subjects: ➤  Problems, exercises - Propositional calculus - Predicate calculus - Calculus - Mathematics - Symbolic and mathematical Logic - Mathematical Logic and Foundations

Edition Identifiers:

• The Open Library ID: OL37086476M - OL8974482M
• Library of Congress Control Number (LCCN): 2005040219
• All ISBNs: 1852339217 - 1846282292 - 9781846282294 - 9781852339210

“Theory and applications of satisfiability testing” Metadata:

• Title: ➤  Theory and applications of satisfiability testing
• Author: Enrico Giunchiglia
• Language: English
• Number of Pages: Median: 530
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2004

“Theory and applications of satisfiability testing” Subjects and Themes:

• Subjects: Computer algorithms - Propositional calculus - Congresses - Decision making - Calculus

Edition Identifiers:

• The Open Library ID: OL9788793M - OL35749040M
• Online Computer Library Center (OCLC) ID: 54035248
• Library of Congress Control Number (LCCN): 2004041323
• All ISBNs: 3540246053 - 3540208518 - 9783540208518 - 9783540246053

“Elementary set theory: proof techniques” Metadata:

• Title: ➤  Elementary set theory: proof techniques
• Author: Carl E. Gordon
• Language: English
• Number of Pages: Median: 305
• Publisher: Hafner Press
• Publish Date: 1975
• Publish Location: New York

“Elementary set theory: proof techniques” Subjects and Themes:

• Subjects: Propositional calculus - Set theory

Edition Identifiers:

• The Open Library ID: OL5052987M
• Library of Congress Control Number (LCCN): 74014794
• All ISBNs: 0028453501

“Theory and applications of satisfiability testing” Metadata:

• Title: ➤  Theory and applications of satisfiability testing
• Author: ➤  SAT 2007 (2007 Lisbon, Portugal)
• Language: English
• Number of Pages: Median: 384
• Publisher: Springer
• Publish Date: 2007
• Publish Location: New York - Berlin

“Theory and applications of satisfiability testing” Subjects and Themes:

• Subjects: ➤  Congresses - Computer algorithms - Propositional calculus - Decision making - Calculus - Algebra, boolean - Boolean Algebra

Edition Identifiers:

• The Open Library ID: OL12810513M - OL22760454M
• Online Computer Library Center (OCLC) ID: 137248787 - 506474529
• Library of Congress Control Number (LCCN): 2007927094
• All ISBNs: 9783540727873 - 3540727876

“Theory and applications of satisfiability testing” Metadata:

• Title: ➤  Theory and applications of satisfiability testing
• Authors: Fahiem BacchusToby Walsh
• Language: English
• Number of Pages: Median: 492
• Publisher: ➤  Springer London, Limited - Springer
• Publish Date: 2005

“Theory and applications of satisfiability testing” Subjects and Themes:

• Subjects: Computer algorithms - Propositional calculus - Congresses - Decision making

Edition Identifiers:

• The Open Library ID: OL35770594M - OL9797272M
• Online Computer Library Center (OCLC) ID: 60676968
• Library of Congress Control Number (LCCN): 2005927321
• All ISBNs: 3540262768 - 3540316795 - 9783540262763 - 9783540316794

“Theory and applications of satisfiability testing -- SAT 2006” Metadata:

• Title: ➤  Theory and applications of satisfiability testing -- SAT 2006
• Author: Armin Biere
• Language: English
• Number of Pages: Median: 439
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2006

“Theory and applications of satisfiability testing -- SAT 2006” Subjects and Themes:

• Subjects: ➤  Computer algorithms - Propositional calculus - Congresses - Decision making - Boolean Algebra - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL34456868M - OL9056755M
• Online Computer Library Center (OCLC) ID: 71192175
• Library of Congress Control Number (LCCN): 2006930253
• All ISBNs: 3540372075 - 9783540372066 - 9783540372073 - 3540372067

“Matrices de Morgan caractéristiques pour le calcul propositionnel classique” Metadata:

• Title: ➤  Matrices de Morgan caractéristiques pour le calcul propositionnel classique
• Author: Antonio Monteiro
• Language: fre
• Number of Pages: Median: 32
• Publisher: ➤  Instituto de Matemática, Universidad Nacional de Sur
• Publish Date: 1974
• Publish Location: Bahía Blanca, Argentina

“Matrices de Morgan caractéristiques pour le calcul propositionnel classique” Subjects and Themes:

• Subjects: Algebraic logic - Matrices - Propositional calculus

Edition Identifiers:

• The Open Library ID: OL3899492M
• Library of Congress Control Number (LCCN): 81461580

“Systemy nonsense-logics” Metadata:

• Title: Systemy nonsense-logics
• Author: Krystyna Piróg-Rzepecka
• Language: pol
• Number of Pages: Median: 72
• Publisher: Państwowe Wydawn. Naukowe
• Publish Date: 1977
• Publish Location: Wrocław

“Systemy nonsense-logics” Subjects and Themes:

• Subjects: Propositional calculus

Edition Identifiers:

• The Open Library ID: OL4322102M
• Library of Congress Control Number (LCCN): 78362365

“A decomposition method for simplifying propositional functions” Metadata:

• Title: ➤  A decomposition method for simplifying propositional functions
• Author: Charles C. Pinter
• Language: English
• Publisher: University of Oklahoma]
• Publish Date: 1968
• Publish Location: [Norman

“A decomposition method for simplifying propositional functions” Subjects and Themes:

• Subjects: Propositional calculus - Truth-functions

Edition Identifiers:

• The Open Library ID: OL5395641M
• Library of Congress Control Number (LCCN): 72627026

“Investigations into the equivalence connective” Metadata:

• Title: ➤  Investigations into the equivalence connective
• Author: Jacek K. Kabziński
• Language: English
• Number of Pages: Median: 113
• Publisher: ➤  Nakł. Uniwersytetu Jagiellońskiego
• Publish Date: 1980
• Publish Location: Kraków

“Investigations into the equivalence connective” Subjects and Themes:

• Subjects: Intuitionistic mathematics - Propositional calculus

Edition Identifiers:

• The Open Library ID: OL3856893M
• Library of Congress Control Number (LCCN): 81176511

“Sat2000” Metadata:

• Title: Sat2000
• Author: Toby Walsh
• Language: English
• Number of Pages: Median: 568
• Publisher: Ios Pr Inc
• Publish Date: 2000

“Sat2000” Subjects and Themes:

• Subjects: Computer algorithms - Propositional calculus - Decision making

Edition Identifiers:

• The Open Library ID: OL12317364M
• Library of Congress Control Number (LCCN): 00102853
• All ISBNs: 9781586030612 - 1586030612

“Sisteme logice și forme normale în calculul propozițional bivalent” Metadata:

• Title: ➤  Sisteme logice și forme normale în calculul propozițional bivalent
• Author: Eugen Mihăilescu
• Language: rum
• Number of Pages: Median: 378
• Publisher: ➤  Editura Academiei Republicii Socialiste România
• Publish Date: 1966
• Publish Location: București

“Sisteme logice și forme normale în calculul propozițional bivalent” Subjects and Themes:

• Subjects: Propositional calculus

Edition Identifiers:

• The Open Library ID: OL4232905M
• Library of Congress Control Number (LCCN): 80513370

“Lectures on propositional calculi” Metadata:

• Title: ➤  Lectures on propositional calculi
• Author: Ryszard Wójcicki
• Language: English
• Number of Pages: Median: 292
• Publisher: ➤  Pub. House of the Polish Academy of Sciences
• Publish Date: 1984
• Publish Location: Ossolineum [Poland]

“Lectures on propositional calculi” Subjects and Themes:

• Subjects: Propositional calculus

Edition Identifiers:

• The Open Library ID: OL2970983M
• Library of Congress Control Number (LCCN): 84217887
• All ISBNs: 830401775X - 9788304017757

“Nonlinear approaches to satisfiability problems” Metadata:

• Title: ➤  Nonlinear approaches to satisfiability problems
• Author: Johannes Pieter Warners
• Language: English
• Number of Pages: Median: 158
• Publisher: ➤  Technische Universiteit Eindhoven
• Publish Date: 1999
• Publish Location: Eindhoven

“Nonlinear approaches to satisfiability problems” Subjects and Themes:

• Subjects: ➤  Propositional calculus - Decision making - Computer algorithms - Computer science - Symbolic and mathematical Logic - Artificial intelligence

Edition Identifiers:

• The Open Library ID: OL55215703M
• Online Computer Library Center (OCLC) ID: 43439660
• All ISBNs: 9789090129365 - 9090129367

“Klasyczny rachunek zdań” Metadata:

• Title: Klasyczny rachunek zdań
• Author: Witold A. Pogorzelski
• Language: pol
• Number of Pages: Median: 225
• Publisher: Państwowe Wydawn. Naukowe
• Publish Date: 1973
• Publish Location: Warszawa

“Klasyczny rachunek zdań” Subjects and Themes:

• Subjects: Propositional calculus

Edition Identifiers:

• The Open Library ID: OL47981608M
• Online Computer Library Center (OCLC) ID: 3551668
• Library of Congress Control Number (LCCN): 74210967

“The foundations of the propositional calculus” Metadata:

• Title: ➤  The foundations of the propositional calculus
• Author: Theodore Paine Palmer
• Language: English
• Number of Pages: Median: 180
• Publish Date: 1935

“The foundations of the propositional calculus” Subjects and Themes:

• Subjects: Propositional calculus

Edition Identifiers:

• The Open Library ID: OL48039771M
• Online Computer Library Center (OCLC) ID: 225460669

“Introduction to Propositional Satisfiability” Metadata:

• Title: ➤  Introduction to Propositional Satisfiability
• Author: Victor Marek
• Language: English
• Number of Pages: Median: 358
• Publisher: College Publications
• Publish Date: 2014
• Publish Location: London

“Introduction to Propositional Satisfiability” Subjects and Themes:

• Subjects: ➤  Propositional calculus - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: OL43335182M
• Online Computer Library Center (OCLC) ID: 874519068
• All ISBNs: 9781848901391 - 1848901399

“Lógica para computación” Metadata:

• Title: Lógica para computación
• Author: Francisco S. Naishtat
• Language: ➤  Spanish; Castilian - español, castellano
• Number of Pages: Median: 300
• Publisher: ➤  Editorial Universitaria de Buenos Aires
• Publish Date: 1986
• Publish Location: [Buenos Aires]

“Lógica para computación” Subjects and Themes:

• Subjects: Logic programming - Propositional calculus - Formal languages - Predicate calculus

Edition Identifiers:

• The Open Library ID: OL2116320M
• Library of Congress Control Number (LCCN): 88172234

“La structuration infinie des opérations bivalentes” Metadata:

• Title: ➤  La structuration infinie des opérations bivalentes
• Author: Le Comunieur.
• Language: fre
• Number of Pages: Median: 111
• Publisher: Bibliosphère
• Publish Date: 1979
• Publish Location: Pontoise

“La structuration infinie des opérations bivalentes” Subjects and Themes:

• Subjects: Algebraic logic - Propositional calculus

Edition Identifiers:

• The Open Library ID: OL3845059M
• Library of Congress Control Number (LCCN): 81161508 - 80146608
• All ISBNs: 2902746032 - 9782902746033

“Regulae ingenii” Metadata:

• Title: Regulae ingenii
• Author: Le Comunieur.
• Language: fre
• Publisher: Bibliosphère
• Publish Date: 1979
• Publish Location: Pontoise

“Regulae ingenii” Subjects and Themes:

• Subjects: Algebraic logic - Propositional calculus

Edition Identifiers:

• The Open Library ID: OL4164866M
• Library of Congress Control Number (LCCN): 80146608
• All ISBNs: 9782902746026 - 2902746024 - 2902746032 - 9782902746033

“Traité du losange logique” Metadata:

• Title: Traité du losange logique
• Author: Le Comunieur.
• Language: fre
• Number of Pages: Median: 104
• Publisher: Bibliosphère
• Publish Date: 1979
• Publish Location: Pontoise

“Traité du losange logique” Subjects and Themes:

• Subjects: Algebraic logic - Propositional calculus

Edition Identifiers:

• The Open Library ID: OL3845044M
• Library of Congress Control Number (LCCN): 81161490
• All ISBNs: 9782902746026 - 2902746024

“Lógica: o cálculo sentencial” Metadata:

• Title: Lógica: o cálculo sentencial
• Author: Leônidas Hegenberg
• Language: por
• Number of Pages: Median: 177
• Publisher: Herder
• Publish Date: 1972
• Publish Location: São Paulo

“Lógica: o cálculo sentencial” Subjects and Themes:

• Subjects: Propositional calculus

Edition Identifiers:

• The Open Library ID: OL3898578M
• Online Computer Library Center (OCLC) ID: 7556156
• Library of Congress Control Number (LCCN): 81460562

“Calcul en logique du premier ordre” Metadata:

• Title: ➤  Calcul en logique du premier ordre
• Author: Yves Bouchard
• Language: fre
• Number of Pages: Median: 288
• Publisher: ➤  Presses de l'Université du Québec
• Publish Date: 2015
• Publish Location: Québec (Québec)

“Calcul en logique du premier ordre” Subjects and Themes:

• Subjects: Propositional calculus - First-order logic

Edition Identifiers:

• The Open Library ID: OL30819690M
• Library of Congress Control Number (LCCN): 2015376760
• All ISBNs: 9782760542099 - 2760542092

“The satisfiability problem” Metadata:

• Title: The satisfiability problem
• Author: P. L. Hammer
• Language: English
• Number of Pages: Median: 482
• Publisher: Elsevier
• Publish Date: 1999
• Publish Location: New York - Amsterdam

“The satisfiability problem” Subjects and Themes:

• Subjects: Computer algorithms - Propositional calculus - Decision making - Boolean Algebra

Edition Identifiers:

• The Open Library ID: OL23195131M
• Library of Congress Control Number (LCCN): 00269880
• All ISBNs: 9780444504104 - 0444504109

“Introduction to mathematics of satisfiability” Metadata:

• Title: ➤  Introduction to mathematics of satisfiability
• Author: V. W. Marek
• Language: English
• Publisher: Taylor & Francis
• Publish Date: 2009
• Publish Location: Boca Raton

“Introduction to mathematics of satisfiability” Subjects and Themes:

• Subjects: ➤  Propositional calculus - Symbolic and mathematical Logic - Logic, symbolic and mathematical - Calculus - Calcul propositionnel - Logique symbolique et mathématique - MATHEMATICS - Infinity - Logic

Edition Identifiers:

• The Open Library ID: OL23213124M
• Online Computer Library Center (OCLC) ID: 456232567
• Library of Congress Control Number (LCCN): 2009016171
• All ISBNs: 1439801673 - 9781439801673

“On the lengths of proofs in the propositional calculus” Metadata:

• Title: ➤  On the lengths of proofs in the propositional calculus
• Author: Robert A. Reckhow
• Language: English
• Number of Pages: Median: 243
• Publisher: Sine nomine
• Publish Date: 1975
• Publish Location: [Toronto?

“On the lengths of proofs in the propositional calculus” Subjects and Themes:

• Subjects: Propositional calculus

Edition Identifiers:

• The Open Library ID: OL20717363M

“Finite models of zero order propositional calculi” Metadata:

• Title: ➤  Finite models of zero order propositional calculi
• Author: Ralph Calvin Applebee
• Language: English
• Number of Pages: Median: 91
• Publish Date: 1972

“Finite models of zero order propositional calculi” Subjects and Themes:

• Subjects: Propositional calculus

Edition Identifiers:

• The Open Library ID: OL14239111M

“Introduction mathématique à la logique” Metadata:

• Title: ➤  Introduction mathématique à la logique
• Author: Georges Leresche
• Language: fre
• Number of Pages: Median: 91
• Publisher: [Éditions] Spes - Dunod
• Publish Date: 1976
• Publish Location: Lausanne - [Paris]

“Introduction mathématique à la logique” Subjects and Themes:

• Subjects: Boolean Algebra - Propositional calculus

Edition Identifiers:

• The Open Library ID: OL4991983M
• Online Computer Library Center (OCLC) ID: 2695510
• Library of Congress Control Number (LCCN): 76483438
• All ISBNs: 9782602000299 - 2602000299

“Classical propositional operators” Metadata:

• Title: ➤  Classical propositional operators
• Author: Krister Segerberg
• Language: English
• Number of Pages: Median: 151
• Publisher: ➤  Clarendon Press - Oxford University Press
• Publish Date: 1982
• Publish Location: Oxford - New York

“Classical propositional operators” Subjects and Themes:

• Subjects: Propositional calculus

Edition Identifiers:

• The Open Library ID: OL4116577M
• Library of Congress Control Number (LCCN): 80041798
• All ISBNs: 0198531737 - 9780198531739

“A system of relative existential propositions connected with the relation of class-membership” Metadata:

• Title: ➤  A system of relative existential propositions connected with the relation of class-membership
• Author: Clarence Eugene Van Horn
• Language: English
• Number of Pages: Median: 45
• Publish Date: 1928

“A system of relative existential propositions connected with the relation of class-membership” Subjects and Themes:

• Subjects: Propositional calculus

Edition Identifiers:

• The Open Library ID: OL5468764M
• Library of Congress Control Number (LCCN): 73171742

“Theory and Applications of Satisfiability Testing SAT 2009 Lecture Notes in Computer Science” Metadata:

• Title: ➤  Theory and Applications of Satisfiability Testing SAT 2009 Lecture Notes in Computer Science
• Author: Oliver Kullmann
• Publisher: Springer
• Publish Date: 2009

“Theory and Applications of Satisfiability Testing SAT 2009 Lecture Notes in Computer Science” Subjects and Themes:

• Subjects: ➤  Computer science - Propositional calculus - Congresses - Decision making - Computer algorithms - Boolean Algebra - Logic, symbolic and mathematical - Algebra, boolean

Edition Identifiers:

• The Open Library ID: OL26153191M
• Online Computer Library Center (OCLC) ID: 419645707
• Library of Congress Control Number (LCCN): 2009933172
• All ISBNs: 9783642027765 - 3642027768

“Theory and applications of satisfiability testing-- SAT 2010” Metadata:

• Title: ➤  Theory and applications of satisfiability testing-- SAT 2010
• Author: SAT 2010 (2010 Edinburgh, UK)
• Language: English
• Number of Pages: Median: 400
• Publisher: Springer
• Publish Date: 2010
• Publish Location: Berlin

“Theory and applications of satisfiability testing-- SAT 2010” Subjects and Themes:

• Subjects: ➤  Computer algorithms - Propositional calculus - Congresses - Decision making - Logic design - Computer science - Software engineering - Computer software - Algebra, boolean - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL25343300M
• Online Computer Library Center (OCLC) ID: 646114507
• Library of Congress Control Number (LCCN): 2010929579
• All ISBNs: 3642141854 - 9783642141850

“Satisfiability problem” Metadata:

• Title: Satisfiability problem
• Authors: Dingzhu DuJun GuPanos M. Pardalos
• Language: English
• Number of Pages: Median: 724
• Publisher: American Mathematical Society
• Publish Date: 1997
• Publish Location: Providence, R.I

“Satisfiability problem” Subjects and Themes:

• Subjects: Computer algorithms - Propositional calculus - Congresses - Computer science - Decision making

Edition Identifiers:

• The Open Library ID: OL678966M
• Online Computer Library Center (OCLC) ID: 37180933
• Library of Congress Control Number (LCCN): 97025448
• All ISBNs: 0821804790 - 9780821804797

“Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications” Metadata:

• Title: ➤  Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
• Author: Armin Biere
• Number of Pages: Median: 980
• Publisher: IOS Press - Brand: IOS Press
• Publish Date: 2009

“Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications” Subjects and Themes:

• Subjects: ➤  Computer algorithms - Propositional calculus - Congresses - Decision making - Boolean Algebra - Algorithmus - Anwendung - Berechnungskomplexität - Erfüllbarkeitsproblem

Edition Identifiers:

• The Open Library ID: OL26185402M
• Library of Congress Control Number (LCCN): 2008942733
• All ISBNs: 9781586039295 - 1586039296

“Theory and applications of satisfiability testing--SAT 2008” Metadata:

• Title: ➤  Theory and applications of satisfiability testing--SAT 2008
• Author: ➤  SAT 2008 (2008 Guangzhou, China)
• Language: English
• Number of Pages: Median: 304
• Publisher: Springer
• Publish Date: 2008
• Publish Location: New York - Berlin

“Theory and applications of satisfiability testing--SAT 2008” Subjects and Themes:

• Subjects: ➤  Computer algorithms - Propositional calculus - Congresses - Decision making - Boolean Algebra - Algebra, boolean - Calculus

Edition Identifiers:

• The Open Library ID: OL23160318M
• Online Computer Library Center (OCLC) ID: 227032625
• Library of Congress Control Number (LCCN): 2008925418
• All ISBNs: 3540797181 - 9783540797180

“Theory and Applications of Satisfiability Testing (vol. # 3542)” Metadata:

• Title: ➤  Theory and Applications of Satisfiability Testing (vol. # 3542)
• Authors: Holger H. HoosDavid G. Mitchell
• Language: English
• Number of Pages: Median: 393
• Publisher: Springer
• Publish Date: 2005

“Theory and Applications of Satisfiability Testing (vol. # 3542)” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Computer science - Electronic data processing - Operating systems (Computers) - Artificial intelligence - Computer software - Propositional calculus - Congresses - Boolean Algebra - Computer algorithms - Decision making - Sat (educational test)

Edition Identifiers:

• The Open Library ID: OL9448233M
• Online Computer Library Center (OCLC) ID: 61133263
• Library of Congress Control Number (LCCN): 2005928808
• All ISBNs: 354027829X - 9783540278290

“Theory and Applications of Satisfiability Testing - SAT 2011” Metadata:

• Title: ➤  Theory and Applications of Satisfiability Testing - SAT 2011
• Author: Karem A. Sakallah
• Language: English
• Publisher: ➤  Springer-Verlag GmbH Berlin Heidelberg
• Publish Date: 2011
• Publish Location: Berlin, Heidelberg

“Theory and Applications of Satisfiability Testing - SAT 2011” Subjects and Themes:

• Subjects: ➤  Logic design - Computer science - Artificial intelligence - Computer software - Computer algorithms - Propositional calculus - Congresses - Verification - Decision making - Calculus - Mathematical Logic and Formal Languages - Algorithm Analysis and Problem Complexity - Computation by Abstract Devices - Logics and Meanings of Programs - Artificial Intelligence (incl. Robotics)

Edition Identifiers:

• The Open Library ID: OL25545692M
• Library of Congress Control Number (LCCN): 2011928785
• All ISBNs: 9783642215810 - 9783642215803 - 3642215807 - 3642215815

“A Survey of Lower Bounds for Satisfiability and Related Problems” Metadata:

• Title: ➤  A Survey of Lower Bounds for Satisfiability and Related Problems
• Author: Dieter Melkebeek van
• Language: English
• Number of Pages: Median: 128
• Publisher: Now Publishers Inc
• Publish Date: 2007

“A Survey of Lower Bounds for Satisfiability and Related Problems” Subjects and Themes:

• Subjects: ➤  Computer algorithms - Computational complexity - Propositional calculus - Infinity - Logic - MATHEMATICS - Computers

Edition Identifiers:

• The Open Library ID: OL12553920M
• Online Computer Library Center (OCLC) ID: 216661510
• All ISBNs: 1601980841 - 9781601980847

“Logik als Erfahrungswissenschaft” Metadata:

• Title: ➤  Logik als Erfahrungswissenschaft
• Author: Gabriele Gutzmann
• Language: ger
• Number of Pages: Median: 196
• Publisher: Duncker & Humblot
• Publish Date: 1980
• Publish Location: Berlin

“Logik als Erfahrungswissenschaft” Subjects and Themes:

• Subjects: Causation - Experience - Logic - Propositional calculus

Edition Identifiers:

• The Open Library ID: OL4227768M
• Online Computer Library Center (OCLC) ID: 7197860
• Library of Congress Control Number (LCCN): 80507909
• All ISBNs: 3428045947 - 9783428045945

“Beginning logic” Metadata:

• Title: Beginning logic
• Author: E. J. Lemmon

“Beginning logic” Subjects and Themes:

• Subjects: Propositional calculus

“An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic” Metadata:

• Title: ➤  An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic
• Author: Yehoshua Sagiv
• Language: English
• Number of Pages: Median: 31
• Publisher: ➤  Dept. of Computer Science, University of Illinois at Urbana-Champaign
• Publish Date: 1979
• Publish Location: Urbana

“An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic” Subjects and Themes:

• Subjects: Data processing - Many-valued logic - Propositional calculus

Edition Identifiers:

• The Open Library ID: OL33057161M - OL4070331M
• Online Computer Library Center (OCLC) ID: 5319048
• Library of Congress Control Number (LCCN): 79624274

“Inference rules for unsatisfiability” Metadata:

• Title: ➤  Inference rules for unsatisfiability
• Author: David A. Plaisted
• Language: English
• Number of Pages: Median: 18
• Publisher: ➤  Dept. of Computer Science, University of Illinois at Urbana-Champaign
• Publish Date: 1979
• Publish Location: Urbana

“Inference rules for unsatisfiability” Subjects and Themes:

• Subjects: Propositional calculus - Inference - Polynomials

Edition Identifiers:

• The Open Library ID: OL4069145M
• Library of Congress Control Number (LCCN): 79622689