Pattinson, Dirk.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated reasoning11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022 : proceedings /
by:
(1998 :); Blanchette, Jasmin.; Kovacs, Laura.; Pattinson, Dirk.; SpringerLink (Online service)
(書目-電子資源)
Coalgebraic methods in computer science11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers /
by:
(1998 :); Pattinson, Dirk.; Schroder, Lutz.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computer software
Computation by Abstract Devices.
Automatic theorem proving
Computer logic
Computer Science Logic and Foundations of Programming.
Computer Engineering and Networks.
Computer science
Formal Languages and Automata Theory.
Artificial Intelligence.
Computer Science.
Probability and Statistics in Computer Science.