RPTU
University Library
Deutsch
Home
Search
Browse
Publish
FAQ
Faculties / Organisational entities
Kaiserslautern - Fachbereich Informatik
Refine
Author
Kohlhase, Michael (1)
(remove)
Year of publication
1999 (1)
(remove)
Document Type
Report (1)
(remove)
Language
English
(1)
Has Fulltext
yes
(1)
Faculty / Organisational entity
Kaiserslautern - Fachbereich Informatik
(1)
1
search hit
1
to
1
10
10
20
50
100
A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
(1999)
Kohlhase, Michael
1
to
1
Sitelinks
|
KLUEDO
Logo ©
Univerity Library of RPTU
,
OPUS
4 ©
KOBV
Login