Treffer 1 - 20 von 37 für Suche 'Wrightson, Graham', Suchdauer: 0,36s
Treffer weiter einschränken
-
1
The battles of Antiochus the Great the failure of combined arms at Magnesia that handed the world to Rome von Wrightson, Graham ca. 20./21. Jh
Veröffentlicht 2022Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
2
To Use or not to Use: The Practical and Historical Reliability of Asclepiodotus's "Philosophical" Tactical Manual von Wrightson, Graham ca. 20./21. Jh
Veröffentlicht 2015Signatur: Wird geladen …
Standort: Wird geladen …Artikel Wird geladen … -
3
The Naval Battles of 322 B. C. E. von Wrightson, Graham ca. 20./21. Jh
Veröffentlicht 2014Signatur: Wird geladen …
Standort: Wird geladen …Artikel Wird geladen … -
4
Computer money Zahlungssysteme im Internet von Furche, Andreas, Wrightson, Graham
Veröffentlicht 1997Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
5
On some semantic tableau proof procedures for modal logic von Wrightson, Graham
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6
Basisbeschreibung des LEKTOR Programmiersystems von Schmitt, Alfred, Wrightson, Graham
Veröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7
Aeneas Tacticus, Philon of Byzantium, Onasander and the good siege a case-study of Demetrius at Rhodes von Wrightson, Graham ca. 20./21. Jh
Veröffentlicht 2021Signatur: Wird geladen …
Standort: Wird geladen …Artikel Wird geladen … -
8
Scythed Chariots at Gaugamela: A Case Study von Heckel, Waldemar 1949-, Willekes, Carolyn, Wrightson, Graham ca. 20./21. Jh
Veröffentlicht 2010Signatur: Wird geladen …
Standort: Wird geladen …Artikel Wird geladen … -
9
Computer money a systematic overview of electronic payment systems von Furche, Andreas, Wrightson, Graham
Veröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10
Solving a problem in relevance logic with an automated theorem prover von Ohlbach, Hans Jürgen, Wrightson, Graham
Veröffentlicht 1983Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11
On the automatic synthesis of turing machines from samples of their computations von Wrightson, Graham, Hwa, Jackson Chin-Ho
Veröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12
The Third Macedonian War and battle of Pydna Perseus' neglect of combined-arms tactics and the real reasons for the Roman victory von Wrightson, Graham ca. 20./21. Jh
Veröffentlicht 2023Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
13
Combined arms warfare in ancient Greece from Homer to Alexander the Great and his successors von Wrightson, Graham
Veröffentlicht 2019Signatur: Wird geladen …URL des Erstveroeffentlichers
Standort: Wird geladen …
Elektronisch E-Book -
14
Combined arms warfare in ancient Greece from Homer to Alexander the Great and his successors von Wrightson, Graham ca. 20./21. Jh
Veröffentlicht 2019Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Abschlussarbeit Buch -
15
Macedonian Armies and the Perfection of Combined Arms von Wrightson, Graham ca. 20./21. Jh
Veröffentlicht 2015Signatur: Wird geladen …
Standort: Wird geladen …Artikel Wird geladen … -
16
The Nature of Command in the Macedonian Sarissa Phalanx von Wrightson, Graham ca. 20./21. Jh
Veröffentlicht 2010Signatur: Wird geladen …
Standort: Wird geladen …
VolltextArtikel -
17
On some semantic tableau proof procedures for modal logic von Wrightson, Graham
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
18
On the treatment of equivalence connectives in automated theorem proving von Wrightson, Graham
Veröffentlicht 1979Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19
Design, implementation and results of an interactive proof system for higher order logic von Jansohn, Hans-Stephan, Landwehr, Rudolf, Wrightson, Graham
Veröffentlicht 1979Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
20
Avoiding equivalence explosions in automated theorem proving - propositional logic von Wrightson, Graham
Veröffentlicht 1979Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …
Suchwerkzeuge:
Ähnliche Schlagworte
Aufsatzsammlung
Automatisches Beweisverfahren
Griechenland Altertum
Beweistheorie
Elektronischer Zahlungsverkehr
Internet
Kriegführung
Logique symbolique et mathématique
Modallogik
Semantisches Tableau
Terrorismus
Théorèmes - Démonstration automatique
démonstration théorème
historique informatique
logique informatique
résolution problème
Alexander the Great 356 B.C.-323 B.C.
Antiochos III. Seleukidenreich, König v242-v187
Combined operations (Military science)
Computerunterstützter Unterricht
Data encryption (Computer science)
Electronic funds transfers
Festschrift
Gefecht der verbundenen Waffen
Hochschulschrift
Iran Altertum
LEKTOR Programmiersprache
Makedonien Altertum
Makedonischer Krieg 172 v. Chr.-168 v. Chr
Military history, Ancient