Suchergebnisse für ""Henk Barendregt""




Ähnliche Artikel


Lambda-Calculus and Combinators
70,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
J. Roger Hindley
Jonathan P. Seldin
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
An Introduction
Second edition
22. Februar 2013
Cambridge University Press

Introducao ao calculo lambda
22,99 €
Versandfertig in über 4 Wochen
Chris Hankin
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
16. August 2012
College Publications

Investigations into the Predicate Calculus
18,99 €
Versandfertig in über 4 Wochen
Oiva Ketonen
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1. Dezember 2022
College Publications

The Haskell Road to Logic, Maths and Programming. Second Edition
29,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Kees Doets
Van Jan Eijck
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7. Mai 2004
College Publications

Computational Logic
32,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Luis M Augusto
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
20. Juni 2018
College Publications

Domain-Specific Languages of Mathematics
22,99 €
Versandfertig in über 4 Wochen
Patrik Jansson
Cezar Ionescu
Jean-Philippe Bernardy
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5. Januar 2022
College Publications

Introduction to Propositional Satisfiability
27,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Victor Marek
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
24. Februar 2014
College Publications

Handbook of Formal Argumentation
41,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
28. Februar 2018
College Publications

Many-Valued Logics
25,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Luis M Augusto
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A Mathematical and Computational Introduction. Second Edition
31. Juli 2017
College Publications



Ähnlichkeitssuche: Fact®Finder von OMIKRON