|
|
|
|
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 Science ; 8312Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Proceedings of the International Conference on Algebra dedicated to the memory of A.I. Malcev / [electronic resource] L.A. Bokut, Yu. L. Ershov, A.I. Kostrikin, editors. by International Conference on Algebra (1989 : Akademgorodok, Novosibirsk, Russia) | Mal��tsev, A. I. (Anatoli�i Ivanovich), 1909-1967 | Bokut�, L. A. (Leonid Arkad�evich), 1937- | Ershov, �IUri�i Leonidovich | Kostrikin, A. I. (Alekse�i Ivanovich). Series: Contemporary mathematics (American Mathematical Society) ; v. 130.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c1992Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
