Deduction Logique

9 books
Le grand livre des énigmesFabrice Mazza
⏱ 7h 47m

Le grand livre des énigmes

Fabrice Mazza

2006467 pp.
Mathematical logicJoseph R. Shoenfield
⏱ 5h 44m

Mathematical logic

Joseph R. Shoenfield

1967344 pp.
Foundations of Disjunctive Logic ProgrammingJorge Lobo
⏱ 5h 7m

Foundations of Disjunctive Logic Programming

Jorge Lobo

1992307 pp.
Il Ruolo del modello nella scienza e nel sapereAccademia nazionale dei Lincei
⏱ 3h 38m

Il Ruolo del modello nella scienza e nel sapere

Accademia nazionale dei Lincei

1999218 pp.
DeductionWOLFGANG BIBEL
⏱ 4h 13m

Deduction

WOLFGANG BIBEL

1993253 pp.
Computational aspects of an order-sorted logic with term declarationsManfred Schmidt-Schauss
⏱ 6h 39m

Computational aspects of an order-sorted logic with term declarations

Manfred Schmidt-Schauss

1989399 pp.
De l'idée au texteBarbara Minto
⏱ 3h 24m

De l'idée au texte

Barbara Minto

1993204 pp.
Logique et fondements de l'informatiqueRichard Lassaigne
⏱ 4h 8m

Logique et fondements de l'informatique

Richard Lassaigne

1993248 pp.
Propositional logicH. Kleine Büning
⏱ 6h 55m

Propositional logic

H. Kleine Büning

1999415 pp.