Proof Complexity Generators
Jan Krajícek
Buy new from $66.29
|
Formal Techniques for...
Carla Ferreira (Editor),
Claudio Antares Mezzina (Editor)
Buy new from $70.05
eBook from $19.50
|
Integration of Constraint...
Guido Tack (Editor)
Buy new from $70.05
eBook from $19.50
|
Advances in Knowledge...
Xintao Wu (Editor),
Myra Spiliopoulou (Editor)
Buy new from $79.44
eBook from $22.50
|
Advances in Knowledge...
Xintao Wu (Editor),
Myra Spiliopoulou (Editor)
Buy new from $93.53
eBook from $27.00
|
Integration of Constraint...
Guido Tack (Editor)
Buy new from $79.44
eBook from $22.50
|
Functional Imaging and...
Radomír Chabiniok (Editor),
Qing Zou (Editor)
Buy new from $168.69
eBook from $50.70
|
NASA Formal Methods: 17th...
Aaron Dutle (Editor),
Laura Humphrey (Editor)
Buy new from $140.50
eBook from $38.70
|
Crossroads of Computability...
Arnold Beckmann (Editor),
Isabel Oitavem (Editor)
Buy new from $140.50
eBook from $41.70
|
Advanced Information Systems...
John Krogstie (Editor),
Stefanie Rinderle-Ma (Editor)
Buy new from $93.53
eBook from $27.00
|
Logic and Argumentation: 6th...
Thomas Ågotnes (Editor),
Dragan Doder (Editor)
Buy new from $70.05
|
Computational Science - ICCS...
Michael H. Lees (Editor),
Wentong Cai (Editor)
Buy new from $93.53
eBook from $27.00
|
Advanced Information Systems...
John Krogstie (Editor),
Stefanie Rinderle-Ma (Editor)
Buy new from $79.44
eBook from $22.50
|
Applications of Computational...
Alvaro David Orjuela-Cañón (Editor),
Jesus A. Lopez (Editor)
Buy new from $168.69
eBook from $47.70
|
Logic and Its Applications:...
C. Aiswarya (Editor),
Prabal Kumar Sen (Editor)
Buy new from $70.05
eBook from $19.50
|
New Frontiers in Artificial...
Yukiko Nakano (Editor),
Toyotaro Suzumura (Editor)
Buy new from $140.50
eBook from $38.70
|
Polygraphs: From Rewriting to...
Dimitri Ara,
Albert Burroni
Buy new from $113.94
|
Artificial Intelligence in...
Penousal Machado (Editor),
Colin Johnson (Editor)
Buy new from $84.14
eBook from $24.00
|
Agents and Artificial...
Ana Paula Rocha (Editor),
Luc Steels (Editor)
Buy new from $121.72
eBook from $32.70
|
Applications of Evolutionary...
Pablo García-Sánchez (Editor),
Emma Hart (Editor)
Buy new from $84.14
eBook from $24.00
|
Raising Young Coders: A...
Cassandra Chin
Buy new from $26.68
eBook from $7.50
|
Computers and Games: 12th...
Michael Hartisch (Editor),
Chu-Hsuan Hsueh (Editor)
Buy new from $70.05
eBook from $19.50
|
Technologies and Applications...
Wei-Ta Chu (Editor),
Chih-Ya Shen (Editor)
Buy new from $168.69
eBook from $47.70
|
Applications of Evolutionary...
Pablo García-Sánchez (Editor),
Emma Hart (Editor)
Buy new from $84.14
eBook from $24.00
|
