Tags
Language
Tags
<<
April 2024
Su Mo Tu We Th Fr Sa
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 1 2 3 4
  1. Home
  2. eBooks & eLearning
  3. analysis of algorithms

Handbook of Satisfiability, Second Edition

Posted By: Underaglassmoon
Date: 3 Jan 2022 01:03:26
Handbook of Satisfiability, Second Edition

Handbook of Satisfiability, Second Edition
IOS Press | English | 2021| ISBN-10: 0190914947 | 352 pages | PDF | 10.40 MB

by Armin Biere (Editor), Marijn Heule (Editor), Hans Van Maaren (Editor), Toby Walsh (Editor)
Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics
Details

LATIN 2020: Theoretical Informatics

Posted By: AvaxGenius
Date: 3 Dec 2020 05:50:32
LATIN 2020: Theoretical Informatics

LATIN 2020: Theoretical Informatics: 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings by Yoshiharu Kohayakawa
English | PDF | 2020 | 653 Pages | ISBN : 3030617912 | 24.8 MB

This book constitutes the refereed proceedings of the 14th Latin American Symposium on Theoretical Informatics, LATIN 2020, held in Sao Paulo, Brazil, in January 2021.
Details
UPWARDS