Home Advanced Search

Advanced Search - Page 1

Towards Paraconsistent Engineering

PDF
English
Year: 2016
Author: Seiki Akama (eds.)

Logic, language and computation

DJVU
English
Year: 1997
Author: Seiki Akama (eds.)

Epistemic Situation Calculus Based on Granular Computing: A New Approach to Common-Sense Reasoning (Intelligent Systems Reference Library, 239)

PDF
English
Year: 2023
Author: Seiki Akama, Yotaro Nakayama, Tetsuya Murai

Epistemic Situation Calculus Based on Granular Computing: A New Approach to Common-Sense Reasoning (Intelligent Systems Reference Library, 239)

EPUB
English
Year: 2023
Author: Seiki Akama, Yotaro Nakayama, Tetsuya Murai

Reasoning with Rough Sets: Logical Approaches to Granularity-Based Framework

PDF
English
Year: 2018
Author: Seiki Akama,Tetsuya Murai,Yasuo Kudo (auth.)

Lectures on Geometric Variational Problems

PDF
English
Year: 1996
Author: Seiki Nishikawa, Richard Schoen (auth.), Seiki Nishikawa, Richard Schoen (eds.)

Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

PDF
English
Year: 2002
Author: Susumu Hayashi, Yohji Akama (auth.), Julian Bradfield (eds.)

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings

PDF
English
Year: 1993
Author: Yohji Akama (auth.), Marc Bezem, Jan Friso Groote (eds.)

Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings

PDF
English
Year: 1997
Author: Yohji Akama (auth.), Philippe de Groote, J. Roger Hindley (eds.)

Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings

DJVU
English
Year: 1997
Author: Yohji Akama (auth.), Philippe de Groote, J. Roger Hindley (eds.)