Automated Reasoning, Fachbücher von Viorica Sofronie-Stokkermans, Nicolas Peltier

Automated Reasoning, Fachbücher von Nicola Olivetti, Ashish Tiwari

Automated Reasoning and Mathematics, Fachbücher von Mark E. Stickel, Maria Paola Bonacina

Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Anupam Das, Sara Negri

Automated Reasoning for Systems Biology and Medicine, Fachbücher von Pietro Liò, Paolo Zuliani

Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Serenella Cerrito, Andrei Popescu

Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Didier Galmiche, Dominique Larchey-Wendli...

Automated Reasoning with Analytic Tableaux and Related Methods, Fachbücher von Cláudia Nalon, Renate A. Schmidt

Alessandro Armando (u. A.) | Automated Reasoning | Taschenbuch |

Andrei Voronkov | Logic Programming And Automated Reasoning |

Immanent Reasoning or Equality in Action, Fachbücher von Zoe McConaughey, Nicolas Clerbout, Shahid Rahman, Ansten Klev

Michael Rusinowitch (u. A.) | Automated Reasoning | Taschenbuch |

Bernhard Beckert | Automated Reasoning With Analytic Tableaux And

Automated Reasoning 10th International Joint Conference, Ijcar 2020,

Roy Dyckhoff | Automated Reasoning With Analytic Tableaux And Related

Leonard Peltier, Fachbücher