Logic and information flow

Saved in:
Bibliographic Details
Other Authors: Eijck, J. van, Visser, Albert.
Format: eBook
Language: English
Published: Cambridge, Mass. : MIT Press, c1994.
Series: Foundations of computing.
Subjects:
Computer science.
Natural language processing (Computer science)
Logic, Symbolic and mathematical.
elektronické knihy
electronic books
ISBN: 9780262285421
Physical Description: 1 online zdroj (233 p.) : ill.

Cover

Table of contents

LEADER 02386cam a2200373 a 4500
001 74725
003 CZ ZlUTB
005 20240911212122.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  |y Plný text 
992 |a BK  |c EBOOK-TN  |c MITPRESS 
999 |c 74725  |d 74725 
993 |x NEPOSILAT  |y EIZ 

Similar Items