1
Foundations of Information and Knowledge Systems [E-Book] : 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings /

Full text 
Favorites
Saved in:
2
Infrared Small Target Detection [E-Book] : Theory, Methods, and Algorithms. /
Zhu, Hu
2024
Subject (ZB): “...Computer science -- Mathematics....”

Full text 
Favorites
Saved in:
3
Foundations of Information and Knowledge Systems [E-Book] : 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings /

Full text 
Favorites
Saved in:
4
Logic, Language, Information, and Computation [E-Book] : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings /
Table of Contents: “...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...”

Full text 
Favorites
Saved in:
5
Artificial Intelligence and Soft Computing [E-Book] : 20th International Conference, ICAISC 2021, Virtual Event, June 21-23, 2021, Proceedings, Part II /
Subject (ZB): “...Computer science-Mathematics....”

Full text 
Favorites
Saved in:
6
Logic and Argumentation [E-Book] : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
7
Rigorous State-Based Methods [E-Book] : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
8
Intelligent Computer Mathematics [E-Book] : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /
Table of Contents: “...Calculemus -- Digital Mathematical Libraries -- Mathematical Knowledge Management....”

Full text 
Favorites
Saved in:
9
Automated Reasoning [E-Book] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
Table of Contents: “...Satisfiabiliy of Boolean Formulas -- Satisfiability Modulo Theory -- Rewriting -- Arithmetic Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving -- Higher-order Theorem Proving -- Modal and Temporal...”

Full text 
Favorites
Saved in:
10
Intelligent Computer Mathematics [E-Book] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
11
PRIMA 2016: Princiles and Practice of Multi-Agent Systems [E-Book] : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
12
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
13
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
14
Theory and Practice of Formal Methods [E-Book] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
15
Verified Software. Theories, Tools, and Experiments [E-Book] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
16
Trends in Functional Programming [E-Book] : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /
Table of Contents: “...Functional Programming -- Engineering Mathematics -- Functional Languaguages -- Parallel Skeletons -- Recursive Programs -- Java Programs....”

Full text 
Favorites
Saved in:
17
Functional and Logic Programming [E-Book] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
King, Andy
2016
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
18
Verified Software: Theories, Tools, and Experiments [E-Book] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
19
Deductive Software Verification – The KeY Book [E-Book] : From Theory to Practice /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
20
Software Engineering and Formal Methods [E-Book] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:

Narrow Search Results