Katalog der Deutschen Nationalbibliothek

Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum

Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Materialarten:  Bücher
Neuigkeiten

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

 
 
 


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

1 - 7 von 7
<< < > >>


Bücher 1 Programming logics
Berlin : Springer, 2013 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 2 Automated deduction
Berlin : Springer, 1999 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 3 Logic for programming and automated reasoning
Berlin : Springer, 1999 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4 Rewriting techniques and applications
Berlin : Springer, 1996 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 5 Automated complexity analysis based on ordered resolution
Basin, David A.. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 1995 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 6 MARVIN
Ganzinger, Harald. - Dortmund : Abt. Informatik, Univ., 1986 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 7 Programs as data objects
Berlin : Springer, 1986 		Vorhanden in Leipzig Vorhanden in Frankfurt


1 - 7 von 7
<< < > >>




Materialarten

Alle Materialarten > Bücher (7)

Kataloge/Sammlungen

Alle Kataloge/Sammlungen

Standorte

Alle Standorte > Leipzig (7)

Aktionen

Aktionen


E-Mail-IconAdministration