Vista normal Vista MARC Vista ISBD

COMPUTATIONAL LOGIC AND PROOF THEORY : THIRD KURD GODEL COLLOQUIUM KGC'93, BRNO, CZECH REPUBLIC, AUGUST 1993 : PROCEEDINGS/

COMPUTATIONAL LOGIC AND PROOF THEORY : THIRD KURD GODEL COLLOQUIUM KGC'93, BRNO, CZECH REPUBLIC, AUGUST 1993 : PROCEEDINGS/ G. GOTTLOB, A. LEITSCH, D. MUNDICI, EDS. - BERLIN: SPRINGER-VERLAG \\\\ - 348 P. 24 CM - LECTURE NOTES IN COMPUTER SCIENCE 713 .

INCLUYEBIBLIOGRAFIAS E INDICE.

ISBN: 3-540-57184-1

Subjects--Topical Terms:
1.COMPROBACION DE TEOREMA AUTOMATICO - CONGRESOS.
2.MATEMATICAS Y SIMBOLOS LOGICOS - CONGRESOS.

Dewey Class. No.: 004 L43 V.713