Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Refine
Author
Doeben-Henisch, Gerd (3)
(remove)
Year of publication
1990 (3)
(remove)
Document Type
Book (Monograph)
(2)
Report
(1)
Keywords
Lernendes System
(1)
Linguistik
(1)
Theorem , Automatisches Beweisverfahren
(1)
3
search hits
1
to
3
Export
BibTeX
CSV
RIS
100
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Lernende Systeme
(1990)
Doeben-Henisch, Gerd
Kognitive Modellbildungen im Rahmen der Analyse der linguistischen Bedeutung in Ansätzen der systematischen Philosophie
(1990)
Doeben-Henisch, Gerd
Nichttheoreme : eine logische Untersuchung unter Verwendung von Tableauerzeugungen und Reduktionsklassen
(1990)
Doeben-Henisch, Gerd
1
to
3