EVA STAR Trefferanzeige

Volltext Volltext.ps1.ps (149 KB) Beckert.pdf2.pdf (73 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA1305949
Titel On anti-links
Autor Beckert, Bernhard
Hähnle, Reiner
Murray, Neil
Ramesh, Anavai
Institution Fakultät für Informatik (INFORMATIK)
Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Dokumenttyp Aufsatz in einem Buch / Sammelwerk / Proceedings
Erschienen in Logic programming and automated reasoning. Ed.: F. Pfenning
Verlag: Springer, Berlin
Jahr: 1994
ISBN: 3-540-58216-9
Seitenangabe: 275 - 289

Serie:
Lecture notes in computer science ; 822
ISSN: 0302-9743