Results
|
421.
|
|
|
422.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 6355
Edition: 1st ed. 2010.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
423.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3452
Edition: 1st ed. 2005.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005
In:
Springer Nature eBook
Availability: No items available.
|
|
424.
|
|
|
425.
|
|
|
426.
|
|
|
427.
|
|
|
428.
|
|
|
429.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3835
Edition: 1st ed. 2005.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005
In:
Springer Nature eBook
Availability: No items available.
|
|
430.
|
|
|
431.
|
|
|
432.
|
|
|
433.
|
|
|
434.
|
|
|
435.
|
|
|
436.
|
|
|
437.
|
|
|
438.
|
|
|
439.
|
|
|
440.
|
Foundations of Software Science and Computation Structures [electronic resource] : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9034
Edition: 1st ed. 2015.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
In:
Springer Nature eBook
Availability: No items available.
|