Nicolas Peltier – författare
Visar alla böcker från författaren Nicolas Peltier. Handla med fri frakt och snabb leverans.
7 produkter
Automated Model Building
Av Ricardo Caferra, Alexander Leitsch m. fl.
Inbunden, 2004
1636 kr
Lägg i varukorg
On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model building. It was this last ?eld which brought …
Automated Model Building
Av Nicolas Peltier, Alexander Leitsch m. fl.
E-bok, 2013
2111 kr
Lägg i varukorg
On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model building. It was this last ?eld which brought …
Automated Reasoning
10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Av Nicolas Peltier, Viorica Sofronie-Stokkermans
Häftad, 2020
835 kr
Lägg i varukorg
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on …
Automated Reasoning
10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Av Viorica Sofronie-Stokkermans, Nicolas Peltier
E-bok, 2020
1091 kr
Lägg i varukorg
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on …
Automated Reasoning
10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
Av Nicolas Peltier, Viorica Sofronie-Stokkermans
Häftad, 2020
902 kr
Lägg i varukorg
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on …
Automated Reasoning
10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
Av Viorica Sofronie-Stokkermans, Nicolas Peltier
E-bok, 2020
1138 kr
Lägg i varukorg
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on …
Automated Model Building
Av Ricardo Caferra, Alexander Leitsch m. fl.
Häftad, 2010
1636 kr
Lägg i varukorg
On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model building. It was this last ?eld which brought …
