Cargando…
Mathematical Logic in Asia : Proceedings of the 9th Asian Logic Conference.
This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore :
World Scientific Publishing Company,
2006.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn879024169 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n|---||||| | ||
| 008 | 140501s2006 si o 000 0 eng d | ||
| 040 | |a MHW |b eng |e pn |c MHW |d EBLCP |d DEBSZ |d OCLCQ |d ZCU |d MERUC |d ICG |d OCLCO |d OCLCF |d AU@ |d OCLCQ |d DKC |d OCLCQ |d UKAHL |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 020 | |a 9789812772749 | ||
| 020 | |a 981277274X | ||
| 029 | 1 | |a AU@ |b 000058360859 | |
| 029 | 1 | |a DEBBG |b BV044179107 | |
| 029 | 1 | |a DEBSZ |b 405246196 | |
| 029 | 1 | |a DEBSZ |b 445582774 | |
| 035 | |a (OCoLC)879024169 | ||
| 050 | 4 | |a Q334 |b .A853 2005 | |
| 082 | 0 | 4 | |a 511.3 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Goncharov, S. S. | |
| 245 | 1 | 0 | |a Mathematical Logic in Asia : |b Proceedings of the 9th Asian Logic Conference. |
| 260 | |a Singapore : |b World Scientific Publishing Company, |c 2006. | ||
| 300 | |a 1 online resource (328 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. | |
| 520 | |a This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity problems of minimal unsatisfiable formulas. The problems of characterization of the deduction-detachment theorem,? 1 -induction, completeness of Lesniewski's systems, and reduction calculus for the satisfiability problem are also discussed. The coverage includes the answer to Kanovei's question ab. | ||
| 505 | 0 | |a Another Characterization of the Deduction-Detachment Theorem (S V Babyonyshev); On Behavior of 2-Formulas in Weakly o-Minimal Theories (B S Baizhanov & B Sh Kulpeshov); Arithmetic Turing Degrees and Categorical Theories of Computable Models (E Fokina); Negative Data in Learning Languages (S Jain & E Kinber); Effective Cardinals in the Nonstandard Universe (V Kanovei & M Reeken); Model-Theoretic Methods of Analysis of Computer Arithmetic (S P Kovalyov); The Functional Completeness of Le niewski's Systems (F Lepage); Hierarchies of Randomness Tests (J Reimann & F Stephan); Intransitive Linear Temporal Logic Based on Integer Numbers, Decidability, Admissible Logical Consecutions (V V Rybakov); The Logic of Prediction (E Vityaev); Conceptual Semantic Systems Theory and Applications (K E Wolff); Complexity Results on Minimal Unsatisfiable Formulas (X Zhao); and other papers. | |
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 0 | |a Mathematics |v Congresses. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 6 | |a Mathématiques |v Congrès. | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Mathematics |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Downey, R. | |
| 700 | 1 | |a Ono, H. | |
| 758 | |i has work: |a Mathematical logic in Asia (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFvWRKTXtF8qh4ryxQrkj3 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |z 9789812700452 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1679871 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24684384 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL1679871 | ||
| 994 | |a 92 |b IZTAP | ||