Jump to main content

yr 〜
yr

Search results 27

Typed dynamic logic for compositional grammar

Typed dynamic logic for compositional grammar
Paper博士論文
戸次大介 [著][戸次大介][2000]<UT51-2002-A90>
National Diet Library

Language in action : categories, lambdas and dynamic logic / Johan van Benthem. (Studies in logic and the foundations of mathematics ; vol. 130)

Language in action : categories, lambdas and dynamic logic / Johan van Benthem. (Studies in logic and the foundations of mathematics ; vol. 130)
Paper図書
North-Holland1991.<MA41-A76>
National Diet Library

Propositional Dynamic Logic of Loping and Converse

Propositional Dynamic Logic of Loping and Converse
Microform博士論文
Streett, Robert Stuart.Massachusetts Institute of Technology1981.<LS-DI-MIT-81-277>
National Diet Library

First-order dynamic logic / David Harel. (Lecture notes in computer science ; 68)

First-order dynamic logic / David Harel. (Lecture notes in computer science ; 68)
Paper図書
Springer-Verlag1979.<M159-95>
National Diet Library

中国政府项目的运作逻辑 : 一个组织学分析 (中国政府与政治研究系列)

中国政府项目的运作逻辑 : 一个组织学分析 (中国政府与政治研究系列)
Paper図書
史普原 著天津人民出版社2017.9<A51-C9-C56>
National Diet Library

Dynamic logic

Dynamic logic
Paper図書
David Harel, Dexter Kozen, Jerzy TiurynMIT Press2000
Other Libraries in Japan

The technique of controversy : principles of dynamic logic : pbk

The technique of controversy : principles of dynamic logic : pbk
Paper図書
Boris B BogoslovskyRoutledge2010, c1928
Other Libraries in Japan

Emotional cognitive neural algorithms with engineering applications : dynamic logic : from vague to crisp

Emotional cognitive neural algorithms with engineering applications : dynamic logic : from vague to crisp
Paper図書
Leonid Perlovsky, Ross Deming, and Roman IlinSpringerc2011
Other Libraries in Japan

Handbook of digital CMOS technology, circuits, and systems

Handbook of digital CMOS technology, circuits, and systems
Paper図書
Karim Abbas.Springer[2020]<ND386-D8>
National Diet LibraryOther Libraries in Japan
  • Contents...Logical effort Dynamic logic Pipelines CMOS Process Design...

The technique of controversy : principles of dynamic logic

The technique of controversy : principles of dynamic logic
Paper図書
Boris B BogoslovskyRoutledge2000 reprint, c1928
Other Libraries in Japan

Presuppositions and dynamic logic

Presuppositions and dynamic logic
Paper図書
Jan van EijckCenter for the Study of Language and Information (CSLI)c1994
Other Libraries in Japan

Language in action : categories, lambdas and dynamic logic 1st MIT Press ed

Language in action : categories, lambdas and dynamic logic 1st MIT Press ed
Paper図書
Johan van BenthemMIT Press1995, c1991
Other Libraries in Japan

Language in action : categories, lambdas and dynamic logic

Language in action : categories, lambdas and dynamic logic
Paper図書
Johan van BenthemNorth-Holland1991
Other Libraries in Japan

Propositional dynamic logic of regular programs with tests, converse and infinite computations

Propositional dynamic logic of regular programs with tests, converse and infinite computations
Paper図書
by Francis J. SmithDept. of Mahtematics and Statistics, Carleton Universityc1988
Other Libraries in Japan

First-order dynamic logic : gw : us

First-order dynamic logic : gw : us
Paper図書
David HarelSpringer-Verlag1979
Other Libraries in Japan

Syntactic and semantic structure in propositional dynamic logic

Syntactic and semantic structure in propositional dynamic logic
Paper図書
by Francine Denise BermanUniversity Microfilms1979
Other Libraries in Japan

Plant systems biology : methods and protocols Second edition (Methods in molecular biology ; 2395) (Springer protocols)

Plant systems biology : methods and protocols Second edition (Methods in molecular biology ; 2395) (Springer protocols)
Paper図書
edited by Mikaël LucasHumana Press[2022]<RA115-D6>
National Diet LibraryOther Libraries in Japan

The technique of controversy : principles of dynamic logic

The technique of controversy : principles of dynamic logic
Paper図書
by Boris B. BogoslovskyK. Paul1928
Other Libraries in Japan

Encyclopedia of parallel computing

Encyclopedia of parallel computing
Digital電子書籍・電子雑誌図書
David Padua (ed.)Springer[2011]
National Diet Library
  • Contents...osition DPJ DR Dynamic Logical Partitioning for POWER Syst...

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Digital電子書籍・電子雑誌図書
Available onlineNational Diet Library
RSS