Logic programming : formal methods and practical applications / edited by Christoph Beierle, Lutz Plümer
- 資料種別:
- 図書
- 出版情報:
- Amsterdam [Netherlands] ; Tokyo : Elsevier, 1995
- 形態:
- xiv, 404 p. ; 25 cm
- シリーズ名:
- Studies in computer science and artificial intelligence ; 11 <BA0006969X>
- 著者名:
- ISBN:
- 9780444820921 [0444820922]
- 書誌ID:
- BA24114722
類似資料:
Springer-Verlag |
Academic Press |
Ablex Publishing |
Springer-Verlag |
Academic Press |
Springer-Verlag |
MIT Press |
MIT Press |
Springer-Verlag |
Springer-Verlag |
Springer |
Clarendon Press, Oxford University Press |