Antonis C. Kakas, Fariba Sadri (Eds.):
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I.
Lecture Notes in Computer Science 2407 Springer 2002, ISBN 3-540-43959-5 BibTeX
@proceedings{DBLP:conf/birthday/2002kowalski1,
editor = {Antonis C. Kakas and
Fariba Sadri},
title = {Computational Logic: Logic Programming and Beyond, Essays in
Honour of Robert A. Kowalski, Part I},
booktitle = {Computational Logic. Logic Programming and Beyond},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2407},
year = {2002},
isbn = {3-540-43959-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Logic Programming Languages
Program Derivation and Properties
Software Development
Extensions of Logic Programming
Applications in Logic
Copyright © Sat May 16 22:59:39 2009
by Michael Ley (ley@uni-trier.de)
