Martins, Manuel A.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Recent trends in algebraic development techniques26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers /
by:
(1998 :); Madeira, Alexandre.; Martins, Manuel A.; SpringerLink (Online service)
(書目-電子資源)
Dynamic logicnew trends and applications : third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers /
by:
(1998 :); Martins, Manuel A.; Sedlar, Igor.; SpringerLink (Online service)
(書目-電子資源)
Molecular logic and computational synthetic biologyfirst International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018 : revised selected papers /
by:
(1998 :); Chaves, Madalena.; Martins, Manuel A.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software engineering
Synthetic biology
Algorithm Analysis and Problem Complexity.
Computer software
Programming Techniques.
Computer logic
Abstract data types (Computer science)
Computer Science Logic and Foundations of Programming.
Numeric Computing.
Artificial Intelligence.
Computer science
Formal Languages and Automata Theory.
Computer Communication Networks.
Computational biology