wyszukanych pozycji: 3
Theorem Proving in Higher Order Logics
ISBN: 9783540710653 / Angielski / Miękka / 2008 / 338 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume constitutes the proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008), which was held during August 18-21, 2008 in Montreal, Canada. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 40 papers submitted to TPHOLs 2008 in the full research c- egory, each of which was refereed by at least four reviewers selected by the ProgramCommittee. Of these submissions, 17 researchpapers and 1 proofpearl were accepted for presentation at the conference...
This volume constitutes the proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2008), which was held d...
|
|
cena:
193,63 zł |
Modeling Approaches and Algorithms for Advanced Computer Applications
ISBN: 9783319033044 / Angielski / Miękka / 2015 / 440 str. Termin realizacji zamówienia: ok. 20 dni roboczych. "During the last decades Computational Intelligence has emerged and showed its contributions in various broad research communities (computer science, engineering, finance, economic, decision making, etc.). This was done by proposing approaches and algorithms based either on turnkey techniques belonging to the large panoply of solutions offered by computational intelligence such as data mining, genetic algorithms, bio-inspired methods, Bayesian networks, machine learning, fuzzy logic, artificial neural networks, etc. or inspired by computational intelligence techniques to develop new... "During the last decades Computational Intelligence has emerged and showed its contributions in various broad research communities (computer scien... |
|
cena:
387,30 zł |
Modeling Approaches and Algorithms for Advanced Computer Applications
ISBN: 9783319005591 / Angielski / Twarda / 2013 / 440 str. Termin realizacji zamówienia: ok. 20 dni roboczych. "During the last decades Computational Intelligence has emerged and showed its contributions in various broad research communities (computer science, engineering, finance, economic, decision making, etc.). This was done by proposing approaches and algorithms based either on turnkey techniques belonging to the large panoply of solutions offered by computational intelligence such as data mining, genetic algorithms, bio-inspired methods, Bayesian networks, machine learning, fuzzy logic, artificial neural networks, etc. or inspired by computational intelligence techniques to develop new... "During the last decades Computational Intelligence has emerged and showed its contributions in various broad research communities (computer scien... |
|
cena:
387,30 zł |