Cargando…
Finite model theory
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
1995
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-662-03182-7 http://cds.cern.ch/record/1618120 |
| _version_ | 1780932869732958208 |
|---|---|
| author | Ebbinghaus, Heinz-Dieter Flum, Jörg |
| author_facet | Ebbinghaus, Heinz-Dieter Flum, Jörg |
| author_sort | Ebbinghaus, Heinz-Dieter |
| collection | CERN |
| id | cern-1618120 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 1995 |
| publisher | Springer |
| record_format | invenio |
| spelling | cern-16181202021-04-21T21:59:28Zdoi:10.1007/978-3-662-03182-7http://cds.cern.ch/record/1618120engEbbinghaus, Heinz-DieterFlum, JörgFinite model theoryMathematical Physics and MathematicsSpringeroai:cds.cern.ch:16181201995 |
| spellingShingle | Mathematical Physics and Mathematics Ebbinghaus, Heinz-Dieter Flum, Jörg Finite model theory |
| title | Finite model theory |
| title_full | Finite model theory |
| title_fullStr | Finite model theory |
| title_full_unstemmed | Finite model theory |
| title_short | Finite model theory |
| title_sort | finite model theory |
| topic | Mathematical Physics and Mathematics |
| url | https://dx.doi.org/10.1007/978-3-662-03182-7 http://cds.cern.ch/record/1618120 |
| work_keys_str_mv | AT ebbinghausheinzdieter finitemodeltheory AT flumjorg finitemodeltheory |