國立高雄大學圖資館 |

登入

回首頁

Logic, language, information, and computation28th International Workshop, WOLLIC 2022, Iasi, Romania, September 20-23, 2022 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Logic, language, information, and computationedited by Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz.
其他題名:	28th International Workshop, WOLLIC 2022, Iasi, Romania, September 20-23, 2022 : proceedings /
其他題名:	WOLLIC 2022
其他作者:	Ciabattoni, Agata.
團體作者:
出版者:	Cham :Springer International Publishing :2022.
面頁冊數:	xxix, 411 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Computer logicCongresses.
電子資源:	https://doi.org/10.1007/978-3-031-15298-6
ISBN:	9783031152986$q(electronic bk.)

Logic, language, information, and computation28th International Workshop, WOLLIC 2022, Iasi, Romania, September 20-23, 2022 : proceedings /
Logic, language, information, and computation28th International Workshop, WOLLIC 2022, Iasi, Romania, September 20-23, 2022 : proceedings /[electronic resource] :WOLLIC 2022edited by Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz. - Cham :Springer International Publishing :2022. - xxix, 411 p. :ill., digital ;24 cm. - Lecture notes in computer science,134680302-9743 ;. - Lecture notes in computer science ;4891..

Proof theory, -- Model theory -- Modal and temporal logics -- Automated reasoning -- Constraint and logic programming -- Constructive mathematics -- Equational logic and rewriting -- Finite Model Theory -- Descriptive complexity, -- Higher order logic -- Programming logic -- Model checking -- Type theory -- Lambda calculus -- Semantics of programming languages -- Computational linguistics -- Language and computation -- Logic and language.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022. The 25 full papers presented included with 8 extra abstracts, 5 invited talks and 3 tutorials were fully reviewed and selected from 46 submissions. The conference aims fostering interdisciplinary research in pure and applied logic.

ISBN: 9783031152986$q(electronic bk.)

Standard No.: 10.1007/978-3-031-15298-6doiSubjects--Topical Terms:

443053
Computer logic
--Congresses.

LC Class. No.: QA9.A1 / W67 2022

Dewey Class. No.: 005.131

Logic, language, information, and computation28th International Workshop, WOLLIC 2022, Iasi, Romania, September 20-23, 2022 : proceedings /
LDR:02203nmm a2200361 a 4500 001 630333
003 DE-He213
005 20220908095715.0
006 m d
007 cr nn 008maaau
008 230329s2022 sz s 0 eng d
020 $a 9783031152986$q(electronic bk.)
020 $a 9783031152979$q(paper)
024 7 $a 10.1007/978-3-031-15298-6 $2 doi
035 $a 978-3-031-15298-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.A1 $b W67 2022
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 005.131 $2 23
090 $a QA9.A1 $b W926 2022
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Logic, language, information, and computation $h [electronic resource] : $b 28th International Workshop, WOLLIC 2022, Iasi, Romania, September 20-23, 2022 : proceedings / $c edited by Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz.
246 3 $a WOLLIC 2022
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a xxix, 411 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 13468
490 1 $a FoLLI publications on logic, language and information
505 0 $a Proof theory, -- Model theory -- Modal and temporal logics -- Automated reasoning -- Constraint and logic programming -- Constructive mathematics -- Equational logic and rewriting -- Finite Model Theory -- Descriptive complexity, -- Higher order logic -- Programming logic -- Model checking -- Type theory -- Lambda calculus -- Semantics of programming languages -- Computational linguistics -- Language and computation -- Logic and language.
520 $a Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022. The 25 full papers presented included with 8 extra abstracts, 5 invited talks and 3 tutorials were fully reviewed and selected from 46 submissions. The conference aims fostering interdisciplinary research in pure and applied logic.
650 0 $a Computer logic $v Congresses. $3 443053
650 0 $a Logic, Symbolic and mathematical $3 254195
650 1 4 $a Logic. $3 180785
650 2 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Programming Language. $3 913494
650 2 4 $a Natural Language Processing (NLP) $3 826373
650 2 4 $a Computer Hardware. $3 275482
650 2 4 $a Compilers and Interpreters. $3 914937
700 1 $a Ciabattoni, Agata. $3 935494
700 1 $a Pimentel, Elaine. $3 935495
700 1 $a Queiroz, Ruy J. G. B. de. $3 345210
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a FoLLI publications on logic, language and information. $3 935496
856 4 0 $u https://doi.org/10.1007/978-3-031-15298-6
950 $a Computer Science (SpringerNature-11645)