Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Treffer: Static termination analysis for Prolog using term rewriting and SAT solving

Titel:

Beteiligt:

Schneider-Kamp, Peter

Veröffentlicht:

Aachen : RWTH Aachen, 2008

Vertrieb:

Hannover : Technische Informationsbibliothek (TIB)

Umfang:

Online-Ressource (184 S., 1,30 MB) : graph. Darst.

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Aachener Informatik-Berichte ; 2008,17

Anmerkungen:

Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden. - Auch als gedr. Ausg. vorhanden

Schlagworte:

Zusatz-Informationen