RPTU
University Library
Deutsch
Home
Search
Browse
Publish
FAQ
Refine
Author
Kohlhase, Michael (1)
(remove)
Year of publication
1999
(1)
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
100
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