ผู้เขียน: Jochen Pfalzgraf

สนับสนุน

1 หนังสืออิเล็กทรอนิกส์โดย Jochen Pfalzgraf

Jochen Pfalzgraf & Dongming Wang: Automated Practical Reasoning
This book is a collection of selected papers written by researchers qf our "RISC" institute (Research Institute for Symbolic Computation) along with the ESPRIT MEDLAR Project (Mechanizing D …
PDF
อังกฤษ
DRM
€92.03