Applied logic for computer scientists computational deduction and formal proofs
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2017]
|
| Schriftenreihe: | Undergraduate topics in computer science
|
| Schlagworte: | |
| Online-Zugang: | BTU01 FHA01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FRO01 FWS01 FWS02 HTW01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Beschreibung: | 1 Online-Ressource (XVIII, 150 Seiten, 4 illus) |
|---|---|
| ISBN: | 9783319516530 |
| ISSN: | 1863-7310 |
| DOI: | 10.1007/978-3-319-51653-0 |