東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Frontiers of combining systems = 14t...

FroCoS (Symposium) (2023 :)

FindBook

Google Book

Amazon

博客來

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Frontiers of combining systems/ edited by Uli Sattler, Martin Suda.
其他題名:	14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings /
其他題名:	FroCoS 2023
其他作者:	Sattler, Uli.
團體作者:	FroCoS (Symposium)
出版者:	Cham :Springer Nature Switzerland : : 2023.,
面頁冊數:	xvi, 275 p. :ill. (some col.), digital ;24 cm.
內容註:	Analysis of Programs and Equations -- Unification -- Decidable Fragments -- Frameworks -- Higher-order Theorem Proving.
Contained By:	Springer Nature eBook
標題:	Logic, Symbolic and mathematical - Congresses. -
電子資源:	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 ;14279..

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:

658487
Logic, Symbolic and mathematical
--Congresses.

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:02042nmm a2200373 a 4500 001 2334499
003 DE-He213
005 20230914100818.0
006 m d
007 cr nn 008maaau
008 240402s2023 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 FroCoS (Symposium) $n (14th : $d 2023 : $c Prague, Czech Republic) $3 3666124
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 $x Congresses. $3 658487
650 0 $a Computer science $v Congresses. $3 606819
650 1 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Computer Engineering and Networks. $3 3538504
650 2 4 $a Computer Science Logic and Foundations of Programming. $3 3538531
650 2 4 $a Formal Languages and Automata Theory. $3 3592087
700 1 $a Sattler, Uli. $3 3666125
700 1 $a Suda, Martin. $3 3666126
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14279. $3 3666127
830 0 $a Lecture notes in artificial intelligence. $3 3382562
856 4 0 $u https://doi.org/10.1007/978-3-031-43369-6
950 $a Computer Science (SpringerNature-11645)