Eintrag weiter verarbeiten
Proofs and algorithms: an introduction to logic and computability
Gespeichert in:
Personen und Körperschaften: | |
---|---|
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. |
Online
Inhaltsverzeichnis, VerlagAutorenbiografie, Verlag
Verlagsangaben, Verlag
Inhaltstext, Verlag
Zentralblatt MATH, Inhaltstext, Verlag
Hauptbibliothek
Verfügbar |
Freihand
Signatur: ST 134 D746
|