Propositional Calculus

50 books
Inference rules for unsatisfiabilityDavid A. Plaisted
⏱ 18m

Inference rules for unsatisfiability

David A. Plaisted

197918 pp.
Investigations into the equivalence connectiveJacek K. Kabziński
⏱ 1h 53m

Investigations into the equivalence connective

Jacek K. Kabziński

1980113 pp.
La structuration infinie des opérations bivalentesLe Comunieur.
⏱ 1h 51m

La structuration infinie des opérations bivalentes

Le Comunieur.

1979111 pp.
Traité du losange logiqueLe Comunieur.
⏱ 1h 44m

Traité du losange logique

Le Comunieur.

1979104 pp.
An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logicYehoshua Sagiv
⏱ 31m

An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic

Yehoshua Sagiv

197931 pp.
Theory and applications of satisfiability testingFahiem Bacchus
⏱ 8h 12m

Theory and applications of satisfiability testing

Fahiem Bacchus

2005492 pp.
Logik als ErfahrungswissenschaftGabriele Gutzmann
⏱ 3h 16m

Logik als Erfahrungswissenschaft

Gabriele Gutzmann

1980196 pp.
Calcul en logique du premier ordreYves Bouchard
⏱ 4h 48m

Calcul en logique du premier ordre

Yves Bouchard

2015288 pp.
Matrices de Morgan caractéristiques pour le calcul propositionnel classiqueAntonio Monteiro
⏱ 32m

Matrices de Morgan caractéristiques pour le calcul propositionnel classique

Antonio Monteiro

197432 pp.
Lógica para computaciónFrancisco S. Naishtat
⏱ 5h 0m

Lógica para computación

Francisco S. Naishtat

1986300 pp.
Beginning logicE. J. Lemmon

Beginning logic

E. J. Lemmon

No page data
Theory and applications of satisfiability testingSAT 2007 (2007 Lisbon, Portugal)
⏱ 6h 24m

Theory and applications of satisfiability testing

SAT 2007 (2007 Lisbon, Portugal)

2007384 pp.
Introduction to Propositional SatisfiabilityVictor Marek
⏱ 5h 58m

Introduction to Propositional Satisfiability

Victor Marek

2014358 pp.
Sat2000Toby Walsh
⏱ 9h 28m

Sat2000

Toby Walsh

2000568 pp.
A Teaching Companion to Lemmon's Beginning LogicGeorge F. Schumm
⏱ 1h 48m

A Teaching Companion to Lemmon's Beginning Logic

George F. Schumm

1979108 pp.
The satisfiability problemP. L. Hammer
⏱ 8h 2m

The satisfiability problem

P. L. Hammer

1999482 pp.
Theory and applications of satisfiability testing--SAT 2008SAT 2008 (2008 Guangzhou, China)
⏱ 5h 4m

Theory and applications of satisfiability testing--SAT 2008

SAT 2008 (2008 Guangzhou, China)

2008304 pp.
Classical propositional operatorsKrister Segerberg
⏱ 2h 31m

Classical propositional operators

Krister Segerberg

1982151 pp.
Satisfiability problemDingzhu Du
⏱ 12h 4m

Satisfiability problem

Dingzhu Du

1997724 pp.
Theory and applications of satisfiability testing -- SAT 2006Armin Biere
⏱ 7h 19m

Theory and applications of satisfiability testing -- SAT 2006

Armin Biere

2006439 pp.
← PreviousPage 2 of 3Next →