Jump to main content

yr 〜
yr

Search results 11

Tools for teaching logic : third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, proceedings : [pbk.]

Tools for teaching logic : third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, proceedings : [pbk.]
Paper図書
Patrick Blackburn ... [et al.] (eds.)Springerc2011
Other Libraries in Japan
  • Author Heading...Teaching Logic Blackburn, Patrick Ditmarsch, Hans van Manzano, ...

Handbook of modal logic

Handbook of modal logic
Paper図書
edited by Patrick Blackburn, Johan van Benthem, Frank WolterElsevier2007
Other Libraries in Japan
  • Author HeadingBlackburn, Patrick Benthem, J. F. A. K. van Wolt...

Learn prolog now! : pbk.

Learn prolog now! : pbk.
Paper図書
Patrick Blackburn, Johan Bos, Kristina StriegnitzCollege Publicationsc2006
Other Libraries in Japan
  • Author HeadingBlackburn, Patrick Bos, Johannes Striegnitz, Kri...

Representation and inference for natural language : a first course in computational semantics : hbk : pbk

Representation and inference for natural language : a first course in computational semantics : hbk : pbk
Paper図書
Patrick Blackburn & Johan BosCSLI Publicationsc2005
Other Libraries in Japan
  • Author HeadingBlackburn, Patrick Bos, Johannes

Modeling and using context : 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003 : proceedings

Modeling and using context : 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003 : proceedings
Paper図書
Patrick Blackburn ... [et al.] (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingInternational and Interdisciplinary Conference on Modeling and Using Context Blackburn, Patrick

Modeling and using context : 8th international and interdisciplinary conference : CONTEXT 2013 : Annecy, France, October 28-31, 2013 : proceedings : Oct 2013, Annecy, France. (Lecture Notes in Computer Science ; 8175. Lecture Notes in Artificial Intelligence)

Modeling and using context : 8th international and interdisciplinary conference : CONTEXT 2013 : Annecy, France, October 28-31, 2013 : proceedings : Oct 2013, Annecy, France. (Lecture Notes in Computer Science ; 8175. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-720>
National Diet Library
  • Author Heading...llon, Patrick. Blackburn, Patrick, 1959- Dapoigny, Richard.

Modal logic : paperback

Modal logic : paperback
Paper図書
Patrick Blackburn, Maarten de Rijke, Yde VenemaCambridge University Press2002, c2001
Other Libraries in Japan
  • Author HeadingBlackburn, Patrick Rijke, Maarten de Venema, Yde

Modal logic

Modal logic
Paper図書
Patrick Blackburn, Maarten de Rijke, Yde VenemaCambridge University Press2001
Other Libraries in Japan
  • Author HeadingBlackburn, Patrick Rijke, Maarten de Venema, Yde

Specifying syntactic structures hc. pbk.

Specifying syntactic structures hc. pbk.
Paper図書
edited by Patrick Blackburn & Maarten de RijkeCSLI Publicationsc1997
Other Libraries in Japan
  • Author HeadingBlackburn, Patrick Rijke, Maarten de

Logic, language and computation v. 1 v. 1 : pbk v. 2 v. 2 : pbk v. 3 v. 3 : pbk

Logic, language and computation v. 1 v. 1 : pbk v. 2 v. 2 : pbk v. 3 v. 3 : pbk
Paper図書
edited by Jerry Seligman & Dag WesterståhlCenter for the Study of Language and Informationc1996-c2000
Other Libraries in Japan
  • Author Heading...edon, Lawrence Blackburn, Patrick Braisby, Nick Shimojima, Atsu...

Modeling and using context : 4th international and interdisciplinary conference : CONTEXT 2003 : Stanford, CA, USA, June 23-25, 2003 : proceedings. : Jun 2003, Stanford, CA. (Lecture Notes in Computer Science ; 2680. Lecture Notes in Artificial Intelligence)

Modeling and using context : 4th international and interdisciplinary conference : CONTEXT 2003 : Stanford, CA, USA, June 23-25, 2003 : proceedings. : Jun 2003, Stanford, CA. (Lecture Notes in Computer Science ; 2680. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2003.<M17-04-596>
National Diet Library
  • Author HeadingBlackburn, Patrick, 1959- International and Inte...

Reached to the end of result.

RSS