Beschrijving
Tense Logic
Robert P. McArthur
1. An Overview of Tense Logic
2. Linear Tense Logics
3. Branching Tense Logic and Temporal Modality
4. Quantificational Tense Logics
5. Soundness and Completeness Theorems for Tense Logic
Robert P. McArthur
1. An Overview of Tense Logic
2. Linear Tense Logics
3. Branching Tense Logic and Temporal Modality
4. Quantificational Tense Logics
5. Soundness and Completeness Theorems for Tense Logic
Specificaties
- Auteur
- Robert P. McArthur
- Uitgever
- D. Reidel
- Jaar
- 1976
- Druk
- -
- Aantal pagina's
- 84
- Taal
- Engels
- Doos
- B44
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Introductory Mathematical Statistics
Introductory Mathematical StatisticsErwin KreyszigPrinciples and Methods
1. Introduction
2. Frequency Distribution of a Sample
3. Sample Mean and Sample Variance
4. Fundamental Conceps of Probability Theory
5. Probability Distribution
6. Mean, Variance, and Skewness of a Distribution
7. Special Discrete Distributions
8. Normal Distribution
9. Probability Distributions of Several Random Variables
10. Distributions Used in Tests
11. Estimation of Parameters
12. Confidence Intervals
13. Testing of ...
€7,00
Cipher Systems: The Protection of Communications
Cipher Systems: The Protection of CommunicationsBeker, Henrytems: The Protection of CommunicationsBeker, Henry
€5,00
Antennas and Propagation for Wireless Communication Systems
Antennas and Propagation for Wireless Communication SystemsSaunders, Simonnd Propagation for Wireless Communication SystemsSaunders, Simon
€12,00
