Cargando…
Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Devoted to the main areas of mathematical logic and applications to computer science, this volume features articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity pro...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore ; Hackensack, NJ :
World Scientific,
©2006.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn299584970 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 090123s2006 si a ob 100 0 eng d | ||
| 010 | |a 2007297924 | ||
| 040 | |a CaPaEBR |b eng |e pn |c CUY |d OCLCQ |d N$T |d YDXCP |d IDEBK |d E7B |d OCLCQ |d OCLCO |d OCLCQ |d OCLCF |d OCLCQ |d OCLCO |d OCLCQ |d STF |d OCL |d OCLCO |d OCLCQ |d AZK |d COCUF |d AGLDB |d MOR |d CCO |d PIFAG |d OCLCQ |d U3W |d WRM |d VTS |d NRAMU |d INT |d VT2 |d OCLCQ |d WYU |d TKN |d M8D |d HS0 |d UKCRE |d OCLCO |d OCLCQ | ||
| 019 | |a 181642205 |a 647684562 |a 815750783 |a 961526836 |a 962671804 |a 988415544 |a 991993610 |a 1037704421 |a 1038623103 |a 1045467645 |a 1055325765 |a 1063813441 |a 1153537832 |a 1228602035 | ||
| 020 | |a 9789812772749 |q (electronic bk.) | ||
| 020 | |a 981277274X |q (electronic bk.) | ||
| 020 | |a 1281924431 | ||
| 020 | |a 9781281924438 | ||
| 020 | |z 9789812700452 | ||
| 020 | |z 9812700455 | ||
| 029 | 1 | |a AU@ |b 000051394005 | |
| 029 | 1 | |a DEBBG |b BV043070199 | |
| 029 | 1 | |a DEBSZ |b 422166286 | |
| 029 | 1 | |a GBVCP |b 802761356 | |
| 029 | 1 | |a NZ1 |b 13069523 | |
| 035 | |a (OCoLC)299584970 |z (OCoLC)181642205 |z (OCoLC)647684562 |z (OCoLC)815750783 |z (OCoLC)961526836 |z (OCoLC)962671804 |z (OCoLC)988415544 |z (OCoLC)991993610 |z (OCoLC)1037704421 |z (OCoLC)1038623103 |z (OCoLC)1045467645 |z (OCoLC)1055325765 |z (OCoLC)1063813441 |z (OCoLC)1153537832 |z (OCoLC)1228602035 | ||
| 050 | 4 | |a Q334 |b .A853 2005eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 072 | 7 | |a JPHL, BGH |2 bicssc | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 049 | |a UAMI | ||
| 111 | 2 | |a Asian Logic Conference |n (9th : |d 2005 : |c Novosibirsk, Russia) | |
| 245 | 1 | 0 | |a Mathematical logic in Asia : |b proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 / |c editors, S.S. Goncharov, R. Downey, H. Ono. |
| 246 | 3 | 0 | |a Proceedings of the 9th Asian Logic Conference |
| 246 | 3 | |a Ninth Asian Logic Conference | |
| 260 | |a Singapore ; |a Hackensack, NJ : |b World Scientific, |c ©2006. | ||
| 300 | |a 1 online resource (viii, 319 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Another characterization of the deduction-detachment theorem / S.V. Babyonyshev -- Computable numberings in the hierarchy of Ershov / S.A. Badaev and Zh. T. Talasbaeva -- On behaviour of 2-formulas in weakly o-minimal theories / B.S. Baizhanov and B. Sh. Kulpeshov -- Proofs about folklore: why model checking = reachability? / K. Choe [and others] -- A note on [symbol] induction / C. Dimitracopoulos and A. Sirokofskich -- Arithmetic Turing degrees and categorical theories of computable models / E. Fokina -- Equivalence relations and classical Banach spaces / S. Gao -- Negative data in learning languages / S. Jain and E. Kinber -- Effective cardinals in the nonstandard universe / V. Kanovei and M. Reeken -- Model-theoretic methods of analysis of computer arithmetic / S.P. Kovalyov -- The functional completeness of Leśniewski's systems / F. Lepage -- Analysis of a new reduction calculus for the satisfiability problem / S. Noureddine -- Elementary type semigroup for Boolean algebras with distinguished ideals / D. Pal'chunov -- Interval fuzzy algebraic systems / D.E. Pal'chunov and G.E. Yakhyaeva -- On orientability and degeneration of Boolean binary relation on a finite set / V. Poplavski -- Hierarchies of randomness tests / J. Reimann and F. Stephan -- Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions / V.V. Rybakov -- Isomorphisms and definable relations on rings and lattices / J.A. Tussupov -- The logic of prediction / E. Vityaev -- The choice of standards for a reporting language / M. Walicki, U. Wolter and J. Stecher -- Conceptual semantic systems theory and applications / K.E. Wolff -- Complexity results on minimal unsatisfiable formulas / X. Zhao. | |
| 520 | |a Devoted to the main areas of mathematical logic and applications to computer science, this volume features 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. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 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 MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Mathematics. |2 fast |0 (OCoLC)fst01012163 | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 700 | 1 | |a Downey, R. G. |q (Rod G.) | |
| 700 | 1 | |a Goncharov, S. S. | |
| 700 | 1 | |a Ono, H. | |
| 776 | 0 | 8 | |i Print version: |a Asian Logic Conference (9th : 2005 : Novosibirsk, Russia). |t Mathematical logic in Asia. |d Singapore ; Hackensack, NJ : World Scientific, ©2006 |w (DLC) 2007297924 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210812 |z Texto completo |
| 936 | |a BATCHLOAD | ||
| 938 | |a EBSCOhost |b EBSC |n 210812 | ||
| 938 | |a YBP Library Services |b YANK |n 2736072 | ||
| 994 | |a 92 |b IZTAP | ||