Subject: Algebra -- Data processing -- Congresses - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Subject Algebra -- Data processing -- Congresses

1. Algebraic informatics : 8th International Conference, CAI 2019, Niš, Serbia, June 30-July 4, 2019, Proceedings /: 8th International Conference, CAI 2019, Niš, Serbia, June 30-July 4, 2019, Proceedings. (2019)

Editors:: Ćirić, Miroslav; Droste, Manfred, 1956-; Pin, Jean Eric
Other Names:: CAI (Conference), 8th
Record Type:: Book
Extent:: 1 online resource (xvi, 259 pages), illustrations (some color)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /: the CALCULEMUS-2000 Symposium. (2001)

Other Names:: Kerber, Manfred, 1956-; Kohlhase, Michael, 1964-; CALCULEMUS-2000 Symposium
Record Type:: Book
Extent:: 1 online resource (288 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗