På den här sidan
'/%3e%3c/svg%3e)
Ej skönlitteratur, Text · Engelska
PLÖS-EVA - a tiny theorem prover
Thomas Hellström (Författare)
Tillgänglighet utifrån medietyp
Detaljer
Medverkan och funktion
Thomas Hellström (Författare)har titel
PLÖS-EVA - a tiny theorem proverutgivning
Umeå, 1980omfång
20, [7] bl.Seriemedlemskap
Report - UMINF · ISSN 0348-0542 ; 88Identifikator
LIBRISIII-nummer 9904064539kontrollnummer
392828Resursens ID / Permalänk: https://libris.kb.se/xf7tdsq82gjpkpm#it
Ladda ner metadata: JSON-LD · Turtle · RDF/XML · MARC21 (ISO 2709) · MARC21 (XML)