Author/Creator: SAT (Conference), 21st - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Editors:: Beyersdorff, Olaf; Wintersteiger, Christoph M
Other Names:: SAT (Conference), 21st; Federated Logic Conference
Record Type:: Book
Extent:: 1 online resource (xix, 452 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

Search