Тема, жанр, tags: Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Artificial Intelligence (inc » Page 8 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Artificial Intelligence (inc » Page 8

book Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

djvu

Author: Henk Barendregt Tobias Nipkow (eds.)
Language: English
Year: 1994

00

27.01.2024

0

0

book Logical Aspects of Computational Linguistics: First International Conference, LACL '96 Nancy, France, September 23–25, 1996 Selected Papers

Logical Aspects of Computational Linguistics: First International Conference, LACL '96 Nancy, France, September 23–25, 1996 Selected Papers

djvu

Author: Patrick Blackburn Marc Dymetman (auth.) Christian Retoré (eds.)
Language: English
Year: 1997

00

27.01.2024

1

0

book Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings

djvu

Author: Flemming Andersen Kim Dam Petersen (auth.) Jeffrey J. Joyce Carl-Johan H. Seger (eds.)
Language: English
Year: 1994

00

27.01.2024

0

0

book Constraints in Computational Logics: First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings

Constraints in Computational Logics: First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings

djvu

Author: Wayne Snyder (auth.) Jean-Pierre Jouannaud (eds.)
Language: English
Year: 1994

00

27.01.2024

0

0

book Computer Aided Systems Theory — EUROCAST '95: A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory Innsbruck, Austria, May 22–25, 1995 Proceedings

Computer Aided Systems Theory — EUROCAST '95: A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory Innsbruck, Austria, May 22–25, 1995 Proceedings

djvu

Author: Rudolf F. Albrecht (auth.) Franz Pichler Roberto Moreno Díaz Rudolf Albrecht (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Automata Implementation: Second International Workshop on Implementing Automata, WIA'97 London, Ontario, Canada September 18–20, 1997 Revised Papers

Automata Implementation: Second International Workshop on Implementing Automata, WIA'97 London, Ontario, Canada September 18–20, 1997 Revised Papers

djvu

Author: Derick Wood (auth.) Derick Wood Sheng Yu (eds.)
Language: English
Year: 1998

00

27.01.2024

3

0

book Trends, Techniques, and Problems in Theoretical Computer Science: 4th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, October 13–17, 1986 Selected Contributions

Trends, Techniques, and Problems in Theoretical Computer Science: 4th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, October 13–17, 1986 Selected Contributions

djvu

Author: Juraj Hromkovič (auth.) Alica Kelemenová Jozef Kelemen (eds.)
Language: English
Year: 1987

00

27.01.2024

0

0

book Transactions on Rough Sets VIII

Transactions on Rough Sets VIII

pdf

Author: Martin W. Bunder Mohua Banerjee Mihir K. Chakraborty (auth.) James F. Peters Andrzej Skowron (eds.)
Language: English
Year: 2008

00

27.01.2024

1

0

book Transactions on Rough Sets II: Rough Sets and Fuzzy Sets

Transactions on Rough Sets II: Rough Sets and Fuzzy Sets

pdf

Author: Aijun An Yanhui Huang Xiangji Huang Nick Cercone (auth.) James F. Peters Andrzej Skowron Didier Dubois Jerzy W. Grzymała-Busse Masahiro Inuiguchi Lech Polkowski (eds.)
Language: English
Year: 2005

00

26.01.2024

3

0

book Transactions on Rough Sets III

Transactions on Rough Sets III

pdf

Author: Zdzisław Pawlak (auth.) James F. Peters Andrzej Skowron (eds.)
Language: English
Year: 2005

00

26.01.2024

4

0