Online catalogue Библиотека Математичког факултета

Библиотека Математичког факултета Универзитета у Београду
Електронски каталог
powered by PMB

Home

Author details

Author Jörg Siekmann

Available item(s) by this author

Refine your search Apply to external sources

AUTOMATION of Reasoning

Public

ISBD

Title : AUTOMATION of Reasoning : Classical papers on computional logic 1957 - 1966 1
Material Type: printed text
Authors: Jörg Siekmann, Editor
Publisher: Berlin, Heidelberg, New York : Springer-Verlag
Publication Date: 1983
General note: Pergam ID: MF 4928
Languages : English (eng)
Keywords: 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)
Keywords: AUTOMATION of reasoning

Hold
Place a hold on this item

Copies (1)

Barcode Call number Media type Location Section Status
24.410 24.410 $r non conforme -- fond fond u fondu
Available

AUTOMATION of Reasoning

Public

ISBD

Title : AUTOMATION of Reasoning : Classical papers on computional logic 1967 - 1970 2
Material Type: printed text
Authors: Jörg Siekmann, Editor
Publisher: Berlin, Heidelberg, New York : Springer-Verlag
Publication Date: 1983
General note: Pergam ID: MF 4932
Languages : English (eng)
Keywords: AUTOMATION of reasoning

AUTOMATION of Reasoning : Classical papers on computional logic 1967 - 1970 2 [printed text] / Jörg Siekmann, Editor . - Berlin, Heidelberg, New York : Springer-Verlag, 1983.
Pergam ID: MF 4932
Languages : English (eng)
Keywords: AUTOMATION of reasoning

Hold
Place a hold on this item

Copies (1)

Barcode Call number Media type Location Section Status
24.411 24.411 $r non conforme -- fond fond u fondu
Available