> > > > > automated-reasoning-with-analytic-tableaux-and-related-methods-32nd-international-conference-tableaux-2023-prague-czech-republic-september-1821

Automated Reasoning With Analytic Tableaux And Related Methods: 32nd International Conference, Tableaux 2023, Prague, Czech Republic, September 18-21,

Het boek Automated Reasoning With Analytic Tableaux And Related Methods: 32nd International Conference, Tableaux 2023, Prague, Czech Republic, September 18-21, is 1 maal gevonden, 1 maal nieuw en 0 maal tweedehands. "Automated Reasoning With Analytic Tableaux And Related Methods: 32nd International Conference, Tableaux 2023, Prague, Czech Republic, September 18-21," is nieuw te koop vanaf € 45,99 bij Bol.com.

Nieuw (1) vanaf € 45,99 bij Bol.com Toon 1 nieuw boek
Bent u de schrijver van dit boek of weet u iets over deze auteur?

Omero.nl is druk bezig om informatie over auteurs toe te voegen. Neem contact met ons op via support@omero.nl om een auteursprofiel aan te maken met een foto, biografie, website adres en sociale media links.
Nieuw
We hebben 1 nieuw boek gevonden
Automated Reasoning With Analytic Tableaux And Related Methods: 32nd International Conference, Tableaux 2023, Prague, Czech Republic, September 18-21,

Type: Paperback
ISBN: 9783031435126
Levertijd: 9

Aanbieder:
€ 45,99
Bekijk boek