Your search returned 6 results.

Results
		Perspectives of Systems Informatics [Recurso electrónico] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers / edited by Irina Virbitskaite, Andrei Voronkov. by Virbitskaite, Irina \| Voronkov, Andrei \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4378Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) [Recurso electrónico] / 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 Science ; 3452Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Logic for Programming, Aritficial Intelligence, and Reasoning [Recurso electrónico] / 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 Science ; 4246Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) [Recurso electrónico] / 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 Science ; 3835Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Logic for Programming, Artificial Intelligence, and Reasoning [Recurso electrónico] : 18th International Conference, LPAR-18, MÂ©â{uDCA9}da, Venezuela, March 11-15, 2012. Proceedings / edited by Nikolaj BjÂ©Ä±rner, Andrei Voronkov. by BjÂ©Ä±rner, Nikolaj \| Voronkov, Andrei. Series: Lecture Notes in Computer Science ; 7180Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Perspectives of Systems Informatics [Recurso electrónico] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov. by Clarke, Edmund \| Virbitskaite, Irina \| Voronkov, Andrei. Series: Lecture Notes in Computer Science ; 7162Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)

Powered by Koha