國立高雄大學圖資館 |

Language: English

Back

Frontiers of combining systems14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Frontiers of combining systemsedited by Uli Sattler, Martin Suda.
Reminder of title:	14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings /
remainder title:	FroCoS 2023
other author:	Sattler, Uli.
corporate name:
Published:	Cham :Springer Nature Switzerland :2023.
Description:	xvi, 275 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Logic, Symbolic and mathematical
Online resource:	https://doi.org/10.1007/978-3-031-43369-6
ISBN:	9783031433696$q(electronic bk.)

Frontiers of combining systems14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings /
Frontiers of combining systems14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings /[electronic resource] :FroCoS 2023edited by Uli Sattler, Martin Suda. - Cham :Springer Nature Switzerland :2023. - xvi, 275 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,142790302-9743 ;. - Lecture notes in computer science ;4891..

Analysis of Programs and Equations -- Unification -- Decidable Fragments -- Frameworks -- Higher-order Theorem Proving.

Open access.

This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and RelatedMethods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.

ISBN: 9783031433696$q(electronic bk.)

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

254195
Logic, Symbolic and mathematical

LC Class. No.: QA9.A1 / F76 2023

Dewey Class. No.: 005.131

Frontiers of combining systems14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings /
LDR:02042nmm a2200373 a 4500 001 651162
003 DE-He213
005 20230914100818.0
006 m d
007 cr nn 008maaau
008 240327s2023 sz s 0 eng d
020 $a 9783031433696$q(electronic bk.)
020 $a 9783031433689$q(paper)
024 7 $a 10.1007/978-3-031-43369-6 $2 doi
035 $a 978-3-031-43369-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.A1 $b F76 2023
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 005.131 $2 23
090 $a QA9.A1 $b F924 2023
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Frontiers of combining systems $h [electronic resource] : $b 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings / $c edited by Uli Sattler, Martin Suda.
246 3 $a FroCoS 2023
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2023.
300 $a xvi, 275 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14279
490 1 $a Lecture notes in artificial intelligence
505 0 $a Analysis of Programs and Equations -- Unification -- Decidable Fragments -- Frameworks -- Higher-order Theorem Proving.
506 $a Open access.
520 $a This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and RelatedMethods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.
650 0 $a Logic, Symbolic and mathematical $3 254195
650 0 $a Computer science $3 252805
650 1 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Computer Engineering and Networks. $3 913124
650 2 4 $a Computer Science Logic and Foundations of Programming. $3 913141
650 2 4 $a Formal Languages and Automata Theory. $3 914922
700 1 $a Sattler, Uli. $3 567211
700 1 $a Suda, Martin. $3 262303
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 Lecture notes in artificial intelligence. $3 822012
856 4 0 $u https://doi.org/10.1007/978-3-031-43369-6
950 $a Computer Science (SpringerNature-11645)