Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

eingeschränkt auf
- Kataloge/Sammlungen:	Teilbestand nach VGG

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Ergebnis der Suche nach: "124196314"
im Bestand: Gesamter Bestand

1 - 9 von 9

	1	Killer transformations Ohlbach, Hans Jürgen. - Saarbrücken : MPI Informatik, [1994]
	2	Temporal logic Berlin : Springer, 1994
	3	Automated practical reasoning and argumentation Saarbrücken : Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes, c 1993
	4	Classical vs non-classical logics Gabbay, Dov M.. - Saarbrücken : MPI Informatik, 1993
	5	Fibred semantics and the weaving of logics / 1. 1993
	6	Towards automating duality Brink, Chris. - Saarbrücken : MPI Informatik, 1993
	7	Quantifier elimination in second-order predicate logic Gabbay, Dov M.. - Saarbrücken : MPI Informatik, 1992
	8	Logic finite automata and constraint logic finite automata Gabbay, Dov M.. - München : CIS, [1991]
	9	Elements of algorithmic proof Gabbay, Dov M.. - München : CIS, [1990]

1 - 9 von 9

Alle Materialarten

Bücher (9)

Alle Kataloge/Sammlungen > Teilbestand nach VGG (9)

Alle Standorte

Aktionen