Skip to:Content
|
Bottom
Cover image for Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Title:
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Author:
Sattler, Uli. editor.
ISBN:
9783031433696
Edition:
1st ed. 2023.
Physical Description:
XVI, 275 p. 421 illus., 12 illus. in color. online resource.
Series:
Lecture Notes in Artificial Intelligence, 14279
Contents:
Analysis of Programs and Equations -- Unification -- Decidable Fragments -- Frameworks -- Higher-order Theorem Proving.
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 521141-1001 XX(521141.1)
Searching...

On Order

Go to:Top of Page