Jump to main content

yr 〜
yr

Search results 46

Hybrid logic and its proof-theory (Applied logic series ; v. 37)

Hybrid logic and its proof-theory (Applied logic series ; v. 37)
Paper図書
by Torben Braüner.Springerc2011.<MA41-B34>
National Diet LibraryOther Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series
  • Title HeadingApplied logic series ; v. 37.

Logical and computational aspects of model-based reasoning. : international conference model-based reasoning : scientific discovery, technological innovation, values (MBR'01) : May 2001, Pavia, Italy. (Applied Logic Series ; 25)

Logical and computational aspects of model-based reasoning. : international conference model-based reasoning : scientific discovery, technological innovation, values (MBR'01) : May 2001, Pavia, Italy. (Applied Logic Series ; 25)
Paper図書
Kluwer Academic Publishersc2002.<M17-03-876>
National Diet Library

Logic, language and computation / edited by Seiki Akama. (Applied logic series ; v. 5)

Logic, language and computation / edited by Seiki Akama. (Applied logic series ; v. 5)
Paper図書
Kluwer Academic Publishersc1997.<M121-A153>
National Diet Library

Applied logic series

Applied logic series
Paper図書
Kluwerc1996-
Other Libraries in Japan

Hybrid logic and its proof-theory : pbk

Hybrid logic and its proof-theory : pbk
Paper図書
Torben BraünerSpringer2010
Other Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series

Dynamic worlds : from the frame problem to knowledge management : pbk

Dynamic worlds : from the frame problem to knowledge management : pbk
Paper図書
edited by Remo Pareschi and Bertram FronhöferKluwer Academicc2010
Other Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series

Analysis and synthesis of logics : how to cut and paste reasoning systems

Analysis and synthesis of logics : how to cut and paste reasoning systems
Paper図書
by Walter Carnielli ... [et al.]Springerc2010
Other Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series

Proof theory for fuzzy logics

Proof theory for fuzzy logics
Paper図書
by George Metcalfe, Nicola Olivetti, Dov GabbaySpringerc2009
Other Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series

Analysis and synthesis of logics : how to cut and paste reasoning systems : e-book

Analysis and synthesis of logics : how to cut and paste reasoning systems : e-book
Paper図書
by Walter Carnielli ... [et al.]Springerc2008
Other Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series

Rigid flexibility : the logic of intelligence

Rigid flexibility : the logic of intelligence
Paper図書
by Pei WangSpringerc2006
Other Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series

Reasoning robots : the art and science of programming robotic agents : HB

Reasoning robots : the art and science of programming robotic agents : HB
Paper図書
by Michael ThielscherSpringerc2005
Other Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series

The death of argument : fallacies in agent based reasoning : HB

The death of argument : fallacies in agent based reasoning : HB
Paper図書
by John WoodsKluwer Academicc2004
Other Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series

Automated model building

Automated model building
Paper図書
by Ricardo Caferra, Alexander Leitsch and Nicholas PeltierKluwerc2004
Other Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series

Inference on the low level : an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition : HB

Inference on the low level : an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition : HB
Paper図書
by Hannes LeitgebKluwer Academicc2004
Other Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series

A modern perspective on type theory : from its origins until today

A modern perspective on type theory : from its origins until today
Paper図書
by Fairouz Kamareddine, Twan Laan and Rob NederpeltKluwer Academicc2004
Other Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series

The semantics and proof theory of the logic of bunched implications

The semantics and proof theory of the logic of bunched implications
Paper図書
by David J. PymKluwer Academicc2002
Other Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series

An introduction to mathematical logic and type theory : to truth through proof 2nd ed.

An introduction to mathematical logic and type theory : to truth through proof 2nd ed.
Paper図書
Peter B. AndrewsKluwer Academicc2002
Other Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series

Foundations of bayesianism :pbk

Foundations of bayesianism :pbk
Paper図書
edited by David Corfield and Jon WilliamsonKluwerc2002
Other Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series

Logical and computational aspects of model-based reasoning : [hc] : pbk

Logical and computational aspects of model-based reasoning : [hc] : pbk
Paper図書
edited by Lorenzo Magnani, Nancy J. Nersessian and Claudio PizziKluwer Academicc2002
Other Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series

Foundations of bayesianism

Foundations of bayesianism
Paper図書
edited by David Corfield and Jon WilliamsonKluwerc2001
Other Libraries in Japan
  • Related MaterialApplied logic series
  • Periodical TitleApplied logic series
RSS