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

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

book Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

pdf

Author: David Lorge Parnas (auth.) Gérard Berry Hubert Comon Alain Finkel (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Transactions on Rough Sets VIII

Transactions on Rough Sets VIII

djvu

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

00

26.01.2024

0

0

book Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

djvu

Author: David Aspinall (auth.) Leszek Pacholski Jerzy Tiuryn (eds.)
Language: English
Year: 1995

00

26.01.2024

1

0

book Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

djvu

Author: David A. Basin (auth.) Laurent Fribourg Franco Turini (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0

book Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

pdf

Author: Parosh Aziz Abdulla Ahmed Bouajjani Julien d’Orso (auth.) Matthias Baaz Johann A. Makowsky (eds.)
Language: English
Year: 2003

00

26.01.2024

2

0

book Transactions on Rough Sets I: James F. Peters - Andrzej Skowron, Editors-in-Chief

Transactions on Rough Sets I: James F. Peters - Andrzej Skowron, Editors-in-Chief

pdf

Author: Zdzisław Pawlak (auth.) James F. Peters Andrzej Skowron Jerzy W. Grzymała-Busse Bożena Kostek Roman W. Świniarski Marcin S. Szczuka (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Transactions on Rough Sets I: James F. Peters - Andrzej Skowron, Editors-in-Chief

Transactions on Rough Sets I: James F. Peters - Andrzej Skowron, Editors-in-Chief

pdf

Author: Zdzisław Pawlak (auth.) James F. Peters Andrzej Skowron Jerzy W. Grzymała-Busse Bożena Kostek Roman W. Świniarski Marcin S. Szczuka (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

pdf

Author: Parosh Aziz Abdulla Ahmed Bouajjani Julien d’Orso (auth.) Matthias Baaz Johann A. Makowsky (eds.)
Language: English
Year: 2003

00

26.01.2024

4

0