Cargando…

Complexity and Expressivity of Dependence Logic Extensions.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Ebbing, Johannes
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Göttingen : Cuvillier Verlag, 2014.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Mu 4500
001 EBOOKCENTRAL_on1003262230
003 OCoLC
005 20240329122006.0
006 m o d
007 cr |n|---|||||
008 170909s2014 gw o 000 0 eng d
040 |a EBLCP  |b eng  |e pn  |c EBLCP  |d MERUC  |d YDX  |d CHVBK  |d OCLCO  |d OCLCQ  |d OCLCF  |d OCLCQ  |d SFB  |d K6U  |d OCLCQ  |d OCLCO  |d OCLCL 
019 |a 1003255479  |a 1289378351 
020 |a 9783736946293 
020 |a 3736946295 
029 1 |a CHNEW  |b 000974568 
029 1 |a CHVBK  |b 503266280 
029 1 |a AU@  |b 000070364213 
035 |a (OCoLC)1003262230  |z (OCoLC)1003255479  |z (OCoLC)1289378351 
050 4 |a BC108  |b .E235 2014 
082 0 4 |a 160  |2 23 
049 |a UAMI 
100 1 |a Ebbing, Johannes. 
245 1 0 |a Complexity and Expressivity of Dependence Logic Extensions. 
260 |a Göttingen :  |b Cuvillier Verlag,  |c 2014. 
300 |a 1 online resource (115 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
588 0 |a Print version record. 
505 0 |a Zusammenfassung; Abstract; Contents; Chapter 1 INTRODUCTION; Chapter 2 PRELIMINARIES; Chapter 3 QUANTIFIER EXTENSIONS ON FIRST ORDER DEPENDENCE LOGIC; Chapter 4 EXTENDED MODAL DEPENDENCE LOGIC; Chapter 5 PARTIALLY ORDERED CONNECTIVES AND QUANTIFIERS; Chapter 6 CONCLUSION; Chapter 7 ACKNOWLEDGEMENTS; Bibliography; Index; LEBENSLAUF. 
504 |a Includes bibliographical references and index. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Logic. 
650 7 |a Logic  |2 fast 
758 |i has work:  |a Complexity and expressivity of dependence logic extensions (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCGCRbpcq9byGdMhJGdHYMX  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Ebbing, Johannes.  |t Complexity and Expressivity of Dependence Logic Extensions.  |d Göttingen : Cuvillier Verlag, ©2014  |z 9783954046294 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=5023550  |z Texto completo 
938 |a EBL - Ebook Library  |b EBLB  |n EBL5023550 
938 |a YBP Library Services  |b YANK  |n 14785039 
994 |a 92  |b IZTAP