Temat: mechanized - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: The Present State of Mechanized Deduction, and the Present Knowledge of its Limitations
Autorzy:: Murawski R.
Tematy:: MECHANIZATION & AUTOMATIZATION OF REASONING
MECHANIZED DEDUCTION'S LIMITATIONS
OTHER SOCIAL SCIENCES; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Turing’s Wager?
Autorzy:: Copeland B. Jack
Proudfoot Diane
Tematy:: Alan Turing
Turing’s Wager
mechanized encryption
laws of behaviour
unspecifiability of the mind
brain modelling
whole-brain simulation
cipher machines
Enigma
fish
Tunny
early computer-based cryptography; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Turing’s Wager?
Autorzy:: B. Jack Copeland
Diane Proudfoot
Data publikacji:: 2023
Tematy:: Alan Turing
Turing’s Wager
mechanized encryption
laws of behaviour
unspecifiability of the mind
brain modelling
whole-brain simulation
cipher machines
Enigma
fish
Tunny
early computer-based cryptography; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Transformacja Wojsk Lądowych Rzeczypospolitej Polskiej w latach 1995-2013. Wybrane problemy, próba oceny
Transfromation of the Land Forces of the Polish Republic 19952013. Key issues and appraisal
Autorzy:: Rdzanek Grzegorz
Data publikacji:: 2016-03
Tematy:: siły zbrojne
siły lądowe
Wojska Lądowe Rzeczypospolitej Polskiej
wojska pancerne
wojska zmechanizowane
czołgi
bojowe wozy piechoty
armed forces
land forces
the Army of the Polish Republic
armor
mechanized troops
tanks
infantry combat vehicles.; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Okoliczności likwidacji (rozformowania) 1. Warszawskiej Dywizji Zmechanizowanej im. Tadeusza Kościuszki
Circumstances of the Liquidation (Disbandment) of the 1st Warsaw Mechanized Division Named after Tadeusz Kościuszko
Autorzy:: Zbigniew Romek
Data publikacji:: 2023
Tematy:: likwidacja 1. Warszawskiej Dywizji Zmechanizowanej im. T. Kościuszki
uzawodowienie armii polskiej
kontakty gospodarcze Unii Europejskiej z Rosją
ignorowanie tendencji imperialnych Moskwy
liquidation of the 1st Warsaw Mechanized Division named after T. Kościuszko
professionalization of the Polish army
economic contacts of the European Union with Russia
ignoring Moscow's imperial tendencies; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

Szczegóły

Informacja