Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Wartungsarbeiten! Am Dienstag, den 25.06.2024 steht der Bereich "Meine Auswahl" zwischen 7 und 8 Uhr nicht zur Verfügung.
 
 
 


Ergebnis der Suche nach: tit all "Termination proofs for logic programs."
im Bestand: Gesamter Bestand

1 - 2 von 2
<< < > >>


Bücher 1 Termination proofs for logic programs
Plümer, Lutz. - Berlin : Springer, 1990 		Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 2 Termination proofs for logic programs
Plümer, Lutz, 1989 		Vorhanden in Leipzig Vorhanden in Frankfurt


1 - 2 von 2
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/Sammlungen

Standorte

Alle Standorte

Aktionen

Aktionen


E-Mail-IconAdministration