Shelfclass_id | 4.B.5 |
Sortkey | APT, KRZYSZTOF |
Authors | Krzysztof Apt, Franco Turini |
Title | Meta-Logics and Logic Programming |
Publisher | MIT Press |
Year | 1995 |
Languages | eng |
Isbn | 0262011522 |
Series | Logic programming |
Description | (hc: alk. paper) xiv, 339 p. ill. 24 cm. |
Record date | 20071107 |
Location | Cambridge, Mass. |
Keywords | Logic programming, Logic, Symbolic and mathematical |