Higher order logic theorem proving and its applications | Claesen, Luc J.M. Samensteller
0/5

0 recensie
Titel
Higher order logic theorem proving and its applications : proceedings of the HOL'92 international workshop : Leuven : 21-24 September 1992
edited by Luc J.M. Claesen, Michael J.C. Gordon
Auteur(s)
Claesen, Luc J.M. Samensteller
Auteur(s)
Gordon, Michael J.C. Samensteller
Bibliografisch adres
Heverlee : Interuniversity Micro-Electronic Center, 1992
Uitgever
Interuniversity Micro-Electronic Center (Heverlee)
Taal
Engels
Land
Belgium
Collatie
XI, 538 p. ; 24 cm
Onderwerp(en)
Logica
Informatica
Colloquia
Thesaurus
ISBD
Bekijk de ISBD weergave
Higher order logic theorem proving and its applications : proceedings of the HOL'92 international workshop : Leuven : 21-24 September 1992 / edited by Luc J.M. Claesen, Michael J.C. Gordon. - Heverlee : Interuniversity Micro-Electronic Center, 1992. - XI, 538 p ; 24 cm.


Fout of probleem melden?
Permalink
Beschikbare exemplaren worden gecheckt...

Een document aanvragen

Beschikbare exemplaren worden gecheckt...
Opladen van de verrijkingen...