Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /

Tallennettuna:
Bibliografiset tiedot
Yhteisötekijä: HOL User's Group Workshop
Muut tekijät: Joyce, Jeffrey J., 1960-, Seger, Carl-Johan H.
Aineistotyyppi: Konferenssijulkaisu Kirja
Kieli:English
Julkaistu: Berlin ; New York : Springer-Verlag, c1994.
Sarja:Lecture notes in computer science ; 780.
Aiheet:

CARM 1 Store

Saatavuus: CARM 1 Store
Hyllypaikka: A2:AM09F0 C05507
Nide 1 Saatavissa  Tee varaus