Библиотека Математичког факултета Универзитета у Београду
Електронски каталог
powered by PMB
AUTOMATION of Reasoning
AUTOMATION of Reasoning : Classical papers on computional logic 1957 - 1966 1 [printed text] / Jörg Siekmann, Editor . - Berlin, Heidelberg, New York : Springer-Verlag, 1983. Pergam ID: MF 4928 Languages : English (eng)
|
Hold
Place a hold on this itemCopies (1)
Barcode | Call number | Media type | Location | Section | Status |
---|---|---|---|---|---|
24.410 | 24.410 | $r non conforme -- | fond | fond | u fondu Available |