Heule, Marijn.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tools and algorithms for the construction and analysis of systems = 31st International Conference, TACAS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.. Part I /
by:
Heule, Marijn.; SpringerLink (Online service); Gurfinkel, Arie.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Tools and algorithms for the construction and analysis of systems = 31st International Conference, TACAS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.. Part III /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Gurfinkel, Arie.; Heule, Marijn.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing -- SAT 2015 = 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings /
by:
Weaver, Sean.; SpringerLink (Online service); Heule, Marijn.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Theory and applications of satisfiability testing - SAT 2015 = 18th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings /
by:
SpringerLink (Online service); Heule, Marijn.; Workshop on the Preservation of Stability under Discretization ((2001 :); Weaver, Sean.
(書目-語言資料,印刷品)
主題
Computer algorithms
Software Engineering.
Artificial Intelligence (incl. Robotics)
Computer science—Mathematics.
System design
Computer Modelling.
Artificial Intelligence.
Artificial intelligence.
Computer Communication Networks.
Control Structures and Microprogramming.
Theory of Computation.
Computers.
Mathematics of Computing.
Computer Science.
System analysis
Computer software