國立虎尾科技大學 |

Frontiers of combining systems = 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Frontiers of combining systems/ edited 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:	Workshop on the Preservation of Stability under Discretization
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 - Problems, exercises, etc. -
Online resource:	https://doi.org/10.1007/978-3-031-43369-6
ISBN:	9783031433696

Frontiers of combining systems = 14th 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 ;6140..

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

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

580379
Logic, Symbolic and mathematical
--Problems, exercises, etc.

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

Dewey Class. No.: 005.131

Frontiers of combining systems = 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings /
LDR:02042nam a2200373 a 4500 001 1116726
003 DE-He213
005 20230914100818.0
006 m d
007 cr nn 008maaau
008 240124s2023 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 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
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 : $c 2023. $b Springer Nature Switzerland : $b Imprint: Springer,
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 $v Problems, exercises, etc. $3 580379 $3 739480
650 0 $a Computer science $3 675907
650 1 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Computer Engineering and Networks. $3 1365733
650 2 4 $a Computer Science Logic and Foundations of Programming. $3 1365757
650 2 4 $a Formal Languages and Automata Theory. $3 1365747
700 1 $a Sattler, Uli. $3 884615
700 1 $a Suda, Martin. $3 1430182
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
830 0 $a Lecture notes in artificial intelligence. $3 1208301
856 4 0 $u https://doi.org/10.1007/978-3-031-43369-6
950 $a Computer Science (SpringerNature-11645)