Ebók

Automated Reasoning with Analytic Tableaux and Related Methods

30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

Author

Springer Nature

Prísur

374,95 kr.

Vørulýsing av

Automated Reasoning with Analytic Tableaux and Related Methods

Nágreining

Meira eftir Author

Aðrar bøkur eftir sama høvund

PMHNP Certification Practice Q&A

author

689,95 kr.

Neonatal Intensive Care Nursing Exam Prep Study Guide

author

279,95 kr.

Adult-Gerontology Acute Care Nurse Practitioner Certification Practice Q&A

author

619,95 kr.

CEN® Exam Prep Study Guide

author

279,95 kr.

Adult CCRN® Exam Prep Study Guide

author

279,95 kr.

CNOR® Exam Prep Study Guide

author

279,95 kr.

Pediatric Nursing Exam Prep Study Guide

author

279,95 kr.

PCCN® Exam Prep Study Guide

author

279,95 kr.

C-EFM® Exam Prep Study Guide

author

279,95 kr.

RNC-OB® Exam Prep Study Guide

author

279,95 kr.

Medical-Surgical Nursing Certification Express Review

author

419,95 kr.

Medical-Surgical Nursing Certification Practice Q&A

author

484,95 kr.

Líknandi Bøkur

Finn líknandi bøkur her

Fundamentals of Logic and Computation

Zhe Hou

449,95 kr.

Automated Reasoning

Bernhard Gramlich; ‎Dale Miller; ‎Ulrike Sattler

374,95 kr.

Symbolic Computation and Automated Reasoning

529,95 kr.

Organization, Management, and Expert Systems

899,95 kr.

Automated Essay Scoring

Shermis, Mark D.; Burstein, Jill C.

494,95 kr.

Automated Lighting

Richard Cadena

559,95 kr.

Automated Technology for Verification and Analysis

Author

374,95 kr.

Automated Acquisitions

354,95 kr.

Automated Deduction in Geometry

339,95 kr.

Automated Deduction - CADE-25

374,95 kr.

Automated Speaking Assessment

509,95 kr.

Automated Deduction – CADE 26

Author

599,95 kr.