A Logical Framework for Developing and Mechanizing Set Theories
In: Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, Jg. 9706 (2016), S. 3-8
Online
E-Book
Zugriff:
Titel: |
A Logical Framework for Developing and Mechanizing Set Theories
|
---|---|
Autor/in / Beteiligte Person: | Avron, Arnon ; Hutchison, David, Series editor ; Kanade, Takeo, Series editor ; Kittler, Josef, Series editor ; Kleinberg, Jon M., Series editor ; Mattern, Friedemann, Series editor ; Mitchell, John C., Series editor ; Naor, Moni, Series editor ; Pandu Rangan, C., Series editor ; Steffen, Bernhard, Series editor ; Terzopoulos, Demetri, Series editor ; Tygar, Doug, Series editor ; Weikum, Gerhard, Series editor ; Olivetti, Nicola [Ed.] ; Tiwari, Ashish [Ed.] |
Zeitschrift: | Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, Jg. 9706 (2016), S. 3-8 |
Veröffentlichung: | 2016 |
Medientyp: | E-Book |
ISBN: | 978-3-319-40228-4 (print) ; 978-3-319-40229-1 (print) |
DOI: | 10.1007/978-3-319-40229-1_1 |
Sonstiges: |
|