|
|
1.
|
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) Электронный ресурс 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings edited by Franz Baader, Andrei Voronkov. by Baader, Franz | Voronkov, Andrei | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type:  Computer file; Format:
electronic
available online
 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
2.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by McMillan, Ken [editor.] | Middeldorp, Aart [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type:  Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
|
3.
|
Logic for Programming, Artificial Intelligence, and Reasoning electronic resource 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov. by Davis, Martin [editor.] | Fehnker, Ansgar [editor.] | McIver, Annabelle [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
|
4.
|
Logic for Programming, Aritficial Intelligence, and Reasoning Электронный ресурс 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings edited by Miki Hermann, Andrei Voronkov. by Hermann, Miki | Voronkov, Andrei | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
|
5.
|
Logic for Programming, Artificial Intelligence, and Reasoning Электронный ресурс 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov. by Dershowitz, Nachum | Voronkov, Andrei | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
|
6.
|
Logic for Programming, Artificial Intelligence, and Reasoning Электронный ресурс 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / edited by Jaime G. Carbonell, Jög Siekmann, Iliano Cervesato, Helmut Veith, Andrei Voronkov. by Carbonell, Jaime G | Cervesato, Iliano | Siekmann, Jörg | Veith, Helmut | Voronkov, Andrei | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
7.
|
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) Электронный ресурс 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings edited by Geoff Sutcliffe, Andrei Voronkov. by Sutcliffe, Geoff | Voronkov, Andrei | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|
