Meta-logics and logic programming /

Meta-logics and logic programming /

Uloženo v:
Podrobná bibliografie
Další autoři: Apt, Krzysztof R., 1949-, Turini, Franco, 1949-
Médium: Kniha
Jazyk:English
Vydáno: Cambridge, Mass. : MIT Press, 1995.
Edice:Logic programming
Témata:
Logic programming.
Logic, Symbolic and mathematical.
Popis
Fyzický popis:xiv, 339 p. : ill. ; 24 cm.
Bibliografie:Includes bibliographical references.
ISBN:0262011522 (hc : alk. paper)

Podobné jednotky