Search Results for Logic.

58 sonuç bulundu

Tümünü Seç

1 2 3 4 5

0000000000DEFAULTTR

49.

Relaxed Abduction Robust Information Interpretation for Industrial Applications

Yazar

Hubauer, Thomas. author.

http://dx.doi.org/10.1007/978-3-658-14407-4

Format:

Electronic Resources

Alıntı:

description logic knowledge bases. Contents Formalizing Diagnostics Using Description Logics Formalization and

50.

Transactions on Rough Sets XXI

Yazar

Peters, James F. editor. (orcid)0000-0002-1026-4638

https://doi.org/10.1007/978-3-662-58768-3

Format:

Electronic Resources

Alıntı:

, Legacy -- A Logic for Spatial Reasoning in the Framework of Rough Mereology -- Compound Objects

51.

Foundation Mathematics for Computer Science A Visual Approach

Yazar

Vince, John. author.

http://dx.doi.org/10.1007/978-3-319-21437-5

Format:

Electronic Resources

Alıntı:

concepts. Foundation Mathematics for Computer Science covers number systems, algebra, logic, trigonometry

52.

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings

Yazar

Beckmann, Arnold. editor.

http://dx.doi.org/10.1007/978-3-319-08019-2

Format:

Electronic Resources

Alıntı:

Machines -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism

53.

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

Yazar

Steffen, Bernhard. author.

https://doi.org/10.1007/978-3-319-68397-3

Format:

Electronic Resources

Alıntı:

introduction to the elementary mathematical structures, such as sets, propositional logic, relations, and

54.

Higher-Order Computability

Yazar

Longley, John. author.

http://dx.doi.org/10.1007/978-3-662-47992-6

Format:

Electronic Resources

Alıntı:

expanded in many different directions under the influence of workers from both mathematical logic and

55.

Arto Salomaa: Mathematician, Computer Scientist, and Teacher A Thematic Biography

Yazar

Paakki, Jukka. author.

https://doi.org/10.1007/978-3-030-16049-4

Format:

Electronic Resources

Alıntı:

of Many-Valued Logic -- Prehistory of Automata and Formal Languages -- Father of Formal Languages

56.

BNAIC 2016: Artificial Intelligence 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016, Revised Selected Papers

Yazar

Bosse, Tibor. editor.

https://doi.org/10.1007/978-3-319-67468-1

Format:

Electronic Resources

Alıntı:

a Fuzzy Logic based Framework for Comprehensive Anomaly Detection in Real-World Energy Consumption

57.

Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Yazar

Creignou, Nadia. editor.

http://dx.doi.org/10.1007/978-3-319-40970-2

Format:

Electronic Resources

Alıntı:

Pictures -- Solution-Graphs of Boolean Formulas and Isomorphism -- Strong Backdoors for Default Logic

58.

Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings

Yazar

Blanc-Talon, Jacques. editor.

https://doi.org/10.1007/978-3-030-01449-0

Format:

Electronic Resources

Alıntı:

Grade Glioma NMR Assessment for Better Intra-operative Targeting Using Fuzzy Logic -- Identification of

Tümünü Seç

1 2 3 4 5

58 sonuç bulundu

	{displayName}	{count}
{error}