Automated deduction -- CADE 27 : 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings /
Saved in:
| Meeting name: | International Conference on Automated Deduction (27th : 2019 : Natal, Brazil) |
|---|---|
| Imprint: | Cham : Springer, [2019] ©2019 |
| Description: | 1 online resource : illustrations (some color) |
| Language: | English |
| Series: | Lecture notes in artificial intelligence, 0302-9743 ; 11716 LNCS sublibrary. SL 7, Artificial intelligence Lecture notes in computer science ; 11716. Lecture notes in computer science. Lecture notes in artificial intelligence. LNCS sublibrary. SL 7, Artificial intelligence. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11938836 |