Showing
1 - 4
results of
4
for search '
Baumgartner, Peter
'
Skip to content
Toggle navigation
Čeština
Log Out
Institutional Login
All Fields
Title
Author
Subject heading
LCC call number
Old call number
ISBN/ISSN
Tag
System number
Find
Advanced Search
Home
Author
Baumgartner, Peter
Showing
1 - 4
results of
4
for search '
Baumgartner, Peter
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Theory reasoning in connection calculi
by
Baumgartner
,
Peter
Published:
1998
Located:
Loading...
Book
Loading...
Saved in:
Über die relative lage von Singulett und Triplettzuständen in Isomeren des Pyrens : Vorversuche zur Absorptionsmessung in Kohlenwasserstoffmatrizen
by
Baumgartner
,
Peter
Alexander
Published:
1967
Located:
Loading...
Book
Loading...
Saved in:
Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX'95 Schloss Rheinfels, St.Goar, Germany May 7-10, 1995. Proceedings
Published:
1995
Located:
Loading...
Book
Loading...
Saved in:
Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
Published:
2008
Located:
Loading...
Plný text
eBook
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Related Subjects
matematická logika
umělá inteligence
informatika
logické programování
počítače
programování
softwarové inženýrství
×
Loading...