Results
|
141.
|
|
|
142.
|
|
|
143.
|
|
|
144.
|
|
|
145.
|
|
|
146.
|
|
|
147.
|
|
|
148.
|
|
|
149.
|
|
|
150.
|
|
|
151.
|
|
|
152.
|
|
|
153.
|
|
|
154.
|
|
|
155.
|
|
|
156.
|
|
|
157.
|
|
|
158.
|
|
|
159.
|
Lectures on Logic and Computation [electronic resource] : ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / by Series: Theoretical Computer Science and General Issues ; 7388
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
160.
|
Logic Programming [electronic resource] : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 592
Edition: 1st ed. 1992.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
In:
Springer Nature eBook
Availability: No items available.
|