Biblioteksøk

Vis søkeskjema

5 treff

Ord i tittel: higher order logic theorem proving

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

Bok Engelsk 1995 · Vis mer

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications
Bok Engelsk 1993 · Vis mer

Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

Thomas F. Melham, Juanito Camilleri (eds....
Bok Engelsk 1994 · Vis mer

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

HUG '93
Bok Engelsk 1994 · Vis mer

Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings

TPHOLs '96
Bok Engelsk 1996 · Vis mer

Biblioteksøk

Meny

Startside
Lånekurv
English
Nynorsk
Davvisámegillii (Nordsamisk)
Valgt språk:Bokmål
Min profil
Logg inn
Lukk meny