
Basis und Deduktion
Gereon Wolters
₹4,737
Showing 1–24 of 59 books

Gereon Wolters
₹4,737

Malte Hossenfelder
₹4,289

Daniel Bonevac
₹5,284

Patricia Johann, Rolf Socher-Ambrosius
₹4,257

Amy P. Felty, Aart Middeldorp
₹4,306

Michael V. Wedin
₹11,716

Alison Laywine
₹12,786

Louise Blackwood
₹2,743

Émile Meyerson
₹4,285

R. C. Howell
₹15,953

Deepak Kapur
₹4,105

Dongming Wang
₹5,496

Thomas Sturm, Christoph Zengler
₹5,499

Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
₹5,715

Franz Baader
₹5,636

Franz Winkler
₹5,560

Jürgen Richter-Gebert, Dongming Wang
₹5,785

Andrei Voronkov
₹5,649

Dennis Schulting
₹2,936

Pascal Fontaine
₹6,205

Nikolaj Björner, Viorica Sofronie-Stokkermans
₹5,669

Xiao-Shan Gao, Dongming Wang, Lu Yang
₹2,258

Francisco Botana
₹2,270

International Conference on Automated Deduction (14th 1997 Townsville, Qld.)
₹4,298