Media type: Book Title: Temporal logic programming and its relation to constraint logic programming Contributor: Brzoska, Christoph [Author] imprint: Karlsruhe: Univ., Fak. für Informatik, 1990 Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 90,36 Extent: 21 S. Language: English RVK notation: SS 4635 : Institut für Informatik, Karlsruhe: Interner Bericht SS 5554 : Universität Karlsruhe: Fakultät für Informatik: Interner Bericht Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 95 4 50589 001 Item ID: 30084071 Status: Loanable, place order > Ordering possible ‒ please log in