Number of the records: 1
Logic programming and automated reasoning
Title statement Logic programming and automated reasoning : 5th international conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / editor Frank Pfenning Main entry-action Logic Programming and Automated Reasoning '94. International conference (1994) Issue data Berlin : Springer, 1994 Phys.des. X, 344 s. ISBN 3540582169 Edition Lecture notes in artificial intelligence; 822 Another responsib. Pfenning , Frank (editor) Chronological term 1994 Subj. Headings počítače computers * programování programming * sborníky UDC 004.42 , 519.68(082) , 519.85 , 519.85(082) Country Bez místa Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M2/008 (PřF) 3134006120 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1