Gå direkte til innholdet
Computational Logic
Spar

Computational Logic

Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously.
Opplag
Softcover reprint of the original 1st ed. 1999
ISBN
9783642636707
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
29.10.2012
Antall sider
448