Meta-logics and logic programming /

Meta-logics and logic programming /

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Awduron Eraill: Apt, Krzysztof R., 1949-, Turini, Franco, 1949-
Fformat: Llyfr
Iaith:English
Cyhoeddwyd: Cambridge, Mass. : MIT Press, 1995.
Cyfres:Logic programming
Pynciau:
Logic programming.
Logic, Symbolic and mathematical.
Disgrifiad
Disgrifiad Corfforoll:xiv, 339 p. : ill. ; 24 cm.
Llyfryddiaeth:Includes bibliographical references.
ISBN:0262011522 (hc : alk. paper)

Eitemau Tebyg