Logic, Language, Information, and Computation Logic, Language, Information, and Computation

Logic, Language, Information, and Computation

22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Valeria de Paiva 및 다른 저자
    • US$34.99
    • US$34.99

출판사 설명

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.

The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.

장르
컴퓨터 및 인터넷
출시일
2015년
6월 28일
언어
EN
영어
길이
221
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
6.9
MB
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
2017년
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
2016년
Logic and Its Applications Logic and Its Applications
2019년
Logical Foundations of Computer Science Logical Foundations of Computer Science
2017년
Logic and Its Applications Logic and Its Applications
2016년
Relational and Algebraic Methods in Computer Science Relational and Algebraic Methods in Computer Science
2018년
Intelligent Computer Mathematics Intelligent Computer Mathematics
2025년
Advances in Natural Deduction Advances in Natural Deduction
2014년