Isabelle : a generic theorem prover
Lawrence C. Paulson ; with contributions by Tobias Nipkow
Bok Engelsk 1994
| Utgitt | Berlin : Springer , c1994
|
|---|---|
| Omfang | XVII, 321 s.
|
| Emner | Automatisk bevisføring : (NO-TrBIB)REAL009781
Bevisføring Bevisteori Logikkprogrammering automatisk bevisføring logikkprogrammering |
| ISBN | 0387582444. - 3540582444
|
