Тема, жанр, tags: Structure logique. » Page 6 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Structure logique. » Page 6

book Computing and Combinatorics: 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings

Computing and Combinatorics: 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings

pdf

Author: Bourgeois Anu, Cai Zhipeng, Zelikovsky Alex
Language: English
Year: 2014

00

30.01.2024

0

0

book Carnap’s Logical Syntax of Language

Carnap’s Logical Syntax of Language

pdf

Author: Pierre Wagner
Language: English
Year: 2009

00

30.01.2024

0

0

book A shorter model theory

A shorter model theory

djvu

Author: Hodges Wilfrid
Language: English
Year: 1997

00

30.01.2024

0

0

book A study of logics

A study of logics

djvu

Author: Cleave John P
Language: English
Year: 1991

00

30.01.2024

0

0

book Логический анализ языка противоречивость и аномальность.

Логический анализ языка противоречивость и аномальность.

pdf

00

30.01.2024

1

0

book Логический анализ языка. Языковые механизмы комизма.

Логический анализ языка. Языковые механизмы комизма.

pdf

00

30.01.2024

5

0

book An introduction to substructural logics

An introduction to substructural logics

pdf

Author: Restall Greg
Language: English
Year: 2000

00

29.01.2024

1

0

book Virus : la maladie des ordinateurs, --de la protection du matériel à la protection juridique

Virus : la maladie des ordinateurs, --de la protection du matériel à la protection juridique

pdf

Author: Stehly Christophe, Burger Ralf
Language: French
Year: 1989

00

29.01.2024

2

0

book Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,

pdf

Author: Laure Petrucci Cristina Seceleanu Ana Cavalcanti (editors)
Language: English
Year: 2017

00

29.01.2024

0

0

book Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

pdf

Author: Dixon Clare, Finger Marcelo
Language: English
Year: 2017

00

29.01.2024

0

0