Eintrag weiter verarbeiten

Proofs and algorithms: an introduction to logic and computability

Gespeichert in:

Personen und Körperschaften: Dowek, Gilles (VerfasserIn)
Titel: Proofs and algorithms: an introduction to logic and computability/ Gilles Dowek
Originaltitel: Les démonstrations et les algorithmes <engl.>
Format: Buch
Sprache: Englisch, Französisch
veröffentlicht:
London, Heidelberg [u.a.] Springer 2011
Gesamtaufnahme: Undergraduate topics in computer science
Schlagwörter:
Online-Ausg.: Dowek, Gilles, 1966 - , Proofs and Algorithms, London : Springer London, 2011, Online-Ressource (VIII, 195p, digital)
Quelle: Verbunddaten SWB
Anmerkungen: Aus dem Franz. übers.