|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
74725 |
| 003 |
CZ-ZlUTB |
| 005 |
20251006170608.0 |
| 006 |
m d |
| 007 |
cr un |
| 008 |
010320s1994 maua sb 000 0 eng d |
| 020 |
|
|
|a 9780262285421
|q (ebook)
|
| 035 |
|
|
|a (OCoLC)47011953
|z (OCoLC)827009797
|
| 040 |
|
|
|a N$T
|b eng
|c N$T
|d OCL
|d OCLCQ
|d YDXCP
|d OCLCG
|d OCLCQ
|d IEEEE
|d OCLCF
|
| 245 |
0 |
0 |
|a Logic and information flow
|h [elektronický zdroj] /
|c edited by Jan van Eijck and Albert Visser.
|
| 260 |
|
|
|a Cambridge, Mass. :
|b MIT Press,
|c c1994.
|
| 300 |
|
|
|a 1 online zdroj (233 p.) :
|b ill.
|
| 490 |
1 |
|
|a Foundations of computing
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 505 |
0 |
|
|a Logic and information flow / Jan van Eijck and Albert Visser -- A note on dynamic arrow logic / Johan van Benthem -- Axiomatizing dynamic predicate logic with quantified dynamic logic / Jan van Eijck -- How logic emerges from the dynamics of information / Peter Gčardenfors -- On action algebras / Dexter Kozen -- Logic and control : how they determine the behaviour of presuppositions / Marcus Kracht -- Classification domains and information links : a brief survey / Lawrence Moss and Jerry Seligman -- Process algebra and dynamic logic / Alban Ponse -- A roadmap of some two-dimensional logics / Vaughan Pratt -- Some new landmarks on the roadmap of two dimensional logics / H. Andreka, I. Nemeti, I. Sain -- Meeting some neighbours / Maarten de Rijke -- Actions under presuppositions / Albert Visser.
|
| 506 |
|
|
|a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Natural language processing (Computer science)
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 655 |
|
7 |
|a elektronické knihy
|7 fd186907
|2 czenas
|
| 655 |
|
9 |
|a electronic books
|2 eczenas
|
| 700 |
1 |
|
|a Eijck, J. van
|q (Jan)
|
| 700 |
1 |
|
|a Visser, Albert.
|
| 776 |
0 |
8 |
|i Print version:
|t Logic and information flow.
|d Cambridge, Mass. : MIT Press, c1994
|z 0262220474
|w (DLC) 93040778
|w (OCoLC)29255711
|
| 830 |
|
0 |
|a Foundations of computing.
|
| 856 |
4 |
0 |
|u https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
|
| 992 |
|
|
|a BK
|c EBOOK-TN
|c MITPRESS
|
| 999 |
|
|
|c 74725
|d 74725
|
| 993 |
|
|
|x NEPOSILAT
|y EIZ
|
