Ergebnisse für: distributed system logics

constructive mathematics and type theory homotopy type theory logic in computer science automata and automatic structures logical foundations of programming logical aspects of computational complexity logic programming and constraints domain theory logics logical foundations of database theory linear logic epistemic and temporal logics distributed system logics Computer science Artificial intelligence Problem solving

fuzzy logics classification clustering decision making fuzzy sets logics aggregation operators artificial intelligence data mining data privacy distributed decision making graph mining human-system interaction manifold learning nonlinear dimensionality reduction

fuzzy logics classification clustering decision making fuzzy sets logics aggregation operators artificial intelligence data mining data privacy distributed decision making graph mining human-system interaction manifold learning nonlinear dimensionality reduction

constructive mathematics and type theory homotopy type theory logic in computer science automata and automatic structures logical foundations of programming logical aspects of computational complexity logic programming and constraints domain theory logics logical foundations of database theory linear logic epistemic and temporal logics distributed system logics Computer science Artificial intelligence Problem solving

constructive mathematics and type theory homotopy type theory logic in computer science automata and automatic structures computability and randomness logical foundations of programming logical aspects of computational complexity logic programming and constraints automated deduction and interactive theorem proving domain theory logics logical foundations of database theory equational logic and term rewriting lambda and combinatory calculi categorical logic and topological semantics linear logic epistemic and temporal logics

constructive mathematics and type theory homotopy type theory logic in computer science automata and automatic structures computability and randomness logical foundations of programming logical aspects of computational complexity logic programming and constraints automated deduction and interactive theorem proving domain theory logics logical foundations of database theory equational logic and term rewriting lambda and combinatory calculi categorical logic and topological semantics linear logic epistemic and temporal logics