-
Mathematical Problems from Applied Logic II: Logics for the XXIst Century
Venditore: Feltrinelli174,10 € -
Nonlinear Dimensionality Reduction
Venditore: Feltrinelli197,20 € -
Adapting Proofs-as-Programs: The Curry--Howard Protocol
Venditore: FeltrinelliSpringer-Verlag New York Inc., 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane247,20 € -
A Course in Mathematical Logic for Mathematicians
Venditore: Feltrinelli81,50 € -
Differential Equations From The Algebraic Standpoint
Venditore: Feltrinelli33,20 € -
On The Algebraical And Numerical Theory Of Errors Of Observations And The Combination Of Observations
Venditore: Feltrinelli31,20 € -
Elements Of Algebra
Venditore: Feltrinelli34,60 € -
Structural Theory of Automata, Semigroups, and Universal Algebra: Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra, Montreal, Quebec, Canada, 7-18 July 2003
Venditore: Feltrinelli135,80 € -
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III"
Venditore: Feltrinelli269,50 € -
Automated Model Building
Venditore: Feltrinelli206,80 € -
A Modern Perspective on Type Theory: From its Origins until Today
Venditore: Feltrinelli244,20 € -
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Venditore: FeltrinelliSpringer-Verlag New York Inc., 2004Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane270,20 € -
Probabilistic Logic in a Coherent Setting
Venditore: Feltrinelli137,20 € -
Probabilistic Logic in a Coherent Setting
Venditore: Feltrinelli131,90 € -
Current Trends in Transformation Groups
Venditore: Feltrinelli63,30 € -
Proof and System-Reliability
Venditore: Feltrinelli143,50 € -
Metamathematics of Fuzzy Logic
Venditore: Feltrinelli274,30 € -
Proof Theory and Automated Deduction
Venditore: Feltrinelli67,20 € -
Collected Papers of Stig Kanger with Essays on his Life and Work
Venditore: Feltrinelli132,00 € -
Logic For Dummies
Venditore: Feltrinelli25,73 € -
Aristotle's Syllogism and the Creation of Modern Logic: Between Tradition and Innovation, 1820s-1930s
Venditore: Feltrinelli52,90 € -
Applying Automated Theorem Proving to Computer Security
Venditore: FeltrinelliBiblioBazaar, LLC, 2012Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane21,60 € -
A Comparison Process for Mouse Pairs
Venditore: Feltrinelli217,40 € -
Modern Mathematical Logic
Venditore: Feltrinelli72,69 € -
Theoretical Computer Science for the Working Category Theorist
Venditore: Feltrinelli29,20 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.