Logic programming and non-monotonic reasoning : proceedings of the second international workshop - International Workshop 1993 ; Lisbon); Pereira, Luís Moniz; Nerode, Anil; International Workshop (Cambridge, Mass. ; London : The MIT Press [i.e.] Massachussetts Institute of Technology, 1993)
Bibliografija na kraju svakog poglavlja
Bilješke uz tekst
Kazalo
Keywords: Logičko programiranje