RPTU
University Library
Deutsch
Home
Search
Browse
Publish
FAQ
SEKI Report
Refine
Author
Kohlhase, Michael
(1)
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
10
10
20
50
100
94,10
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