P.H. Schmitt – författare
Visar alla böcker från författaren P.H. Schmitt. Handla med fri frakt och snabb leverans.
11 produkter
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av Wolfgang Bibel, P.H. Schmitt
Inbunden, 1998
2185 kr
Lägg i varukorg
The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considerable …
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av Wolfgang Bibel, P.H. Schmitt
Inbunden, 1998
2185 kr
Lägg i varukorg
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us. Interaction typi cally is needed, …
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av Wolfgang Bibel, P.H. Schmitt
Inbunden, 1998
1690 kr
Lägg i varukorg
We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a …
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av Wolfgang Bibel, P.H. Schmitt
1998
4212 kr
Lägg i varukorg
The nationwide research project "Deduktion", funded by the "Deutsche Forschungsgemeinschaft (DFG)" for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive co-operation and exchange of ideas led to considerable …
Eau minérale, sulfatée, calcique, bromurée, de la saline de Saltzbronn près Sarralbe, Moselle
étude théorique et clinique
Av Ph Schmitt
Häftad, 2018
206 kr
Lägg i varukorg
Eau minérale, sulfatée, calcique, bromurée, de la saline de Saltzbronn près Sarralbe, Moselle
étude théorique et clinique
Av Ph Schmitt
Häftad, 2018
202 kr
Lägg i varukorg
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av Wolfgang Bibel, P.H. Schmitt
Häftad, 2010
2185 kr
Lägg i varukorg
The nationwide research project 'Deduktion', funded by the 'Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considerable …
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av Wolfgang Bibel, P.H. Schmitt
Häftad, 2010
2185 kr
Lägg i varukorg
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us. Interaction typi cally is needed, …
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av Wolfgang Bibel, P.H. Schmitt
Häftad, 2010
1641 kr
Lägg i varukorg
We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a …
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av P.H. Schmitt, Wolfgang Bibel
E-bok, 2013
2833 kr
Lägg i varukorg
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us. Interaction typi cally is needed, …
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Av P.H. Schmitt, Wolfgang Bibel
E-bok, 2013
2111 kr
Lägg i varukorg
We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a …
