Proof and computation /

Proof and computation /

Saved in:
Bibliografiske detaljer
Corporate Authors: North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on Proof and Computation
Andre forfattere: Schwichtenberg, Helmut, 1942-
Format: Conference Proceeding Bog
Sprog:English
Udgivet: Berlin ; New York : Springer, c1995.
Serier:NATO ASI series. Computer and systems sciences ; no. 139.
Fag:
Logic programming > Congresses.
Logic, Symbolic and mathematical > Congresses.

CARM 1 Store

Detaljer om beholdninger fra CARM 1 Store
Klassifikationsnummer: A2:AL37G0 C06428
Kopi 1 Tilgængelig  Reservér”

Lignende værker