Automated Reasoning
7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
eBook
€15.60 EUR
-
Strumenti di studio
Strumenti di studio integrati come momenti salienti e altro
-
Leggi ad alta voce
Ascolta e segui mentre Bookshelf legge il testo per te
-
Accesso offline
Accedi al tuo eTextbook sempre e ovunque
-
Ricerca globale
Cerca nel contenuto del libro, nelle figure e nella tua cartella di lavoro