Meta-logics and logic programming /

Meta-logics and logic programming /

Bewaard in:
Bibliografische gegevens
Andere auteurs: Apt, Krzysztof R., 1949-, Turini, Franco, 1949-
Formaat: Boek
Taal:English
Gepubliceerd in: Cambridge, Mass. : MIT Press, 1995.
Reeks:Logic programming
Onderwerpen:
Logic programming.
Logic, Symbolic and mathematical.
Omschrijving
Fysieke beschrijving:xiv, 339 p. : ill. ; 24 cm.
Bibliografie:Includes bibliographical references.
ISBN:0262011522 (hc : alk. paper)

Gelijkaardige items