Calcul Propositionnel

10 books
Frege's logical theoryRobert Sternfeld
⏱ 3h 20m

Frege's logical theory

Robert Sternfeld

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

Classical propositional operators

Krister Segerberg

1982151 pp.
Programmer avec SchemeJacques Chazarain
⏱ 12h 33m

Programmer avec Scheme

Jacques Chazarain

1998753 pp.
Category theory and computer sciencePeter Dybjer
⏱ 6h 5m

Category theory and computer science

Peter Dybjer

1989365 pp.
Introduction to mathematics of satisfiabilityV. W. Marek

Introduction to mathematics of satisfiability

V. W. Marek

2009No page data
Intelligence artificielle et informatique théoriqueJean-Marc Alliot
⏱ 8h 40m

Intelligence artificielle et informatique théorique

Jean-Marc Alliot

1994520 pp.
Introduction a la specificationHenri Habrias

Introduction a la specification

Henri Habrias

1993No page data
Propositional logicH. Kleine Büning
⏱ 6h 55m

Propositional logic

H. Kleine Büning

1999415 pp.
Category theory and computer scienceUnknown Author
⏱ 6h 5m

Category theory and computer science

Unknown Author

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

Logique et fondements de l'informatique

Richard Lassaigne

1993248 pp.