RPTU
University Library
Deutsch
Home
Search
Browse
Publish
FAQ
Author(s)
All strings
At least one of the strings
None of the strings
Title
All strings
At least one of the strings
None of the strings
Additional Person(s)
All strings
At least one of the strings
None of the strings
Abstract
All strings
At least one of the strings
None of the strings
Fulltext
All strings
None of the strings
Refine
Author
Fuchs, Dirk
(1)
Year of publication
1998 (1)
(remove)
Document Type
Preprint
(1)
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
Goal Lift-up: A Technique for Combining Connection-Tableau-Based Proof Procedures
(1998)
Fuchs, Dirk
1
to
1
Sitelinks
|
KLUEDO
Logo ©
Univerity Library of RPTU
,
OPUS
4 ©
KOBV
Login