Search Results for Calculus.

10 sonuç bulundu

Tümünü Seç

0000000000DEFAULTTR

Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Yazar

De Nivelle, Hans. editor.

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

Format:

Electronic Resources

Alıntı:

from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus

Mathematical Morphology and Its Applications to Signal and Image Processing 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings

Yazar

Benediktsson, Jón Atli. editor.

http://dx.doi.org/10.1007/978-3-319-18720-4

Format:

Electronic Resources

Alıntı:

, differential calculus and probabilities; topology and discrete geometry; and algorithms and implementation.

Fourier Analysis—A Signal Processing Approach

Yazar

Sundararajan, D. author.

https://doi.org/10.1007/978-981-13-1693-7

Format:

Electronic Resources

Alıntı:

analysis. The prerequisite for reading this book is a sound understanding of calculus, linear algebra

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author.

https://doi.org/10.1007/978-3-030-02420-8

Format:

Electronic Resources

Alıntı:

Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part

The Discrete Math Workbook A Companion Manual for Practical Study

Yazar

Kurgalin, Sergei. author.

https://doi.org/10.1007/978-3-319-92645-2

Format:

Electronic Resources

Alıntı:

with basic rules for differential and integral calculus This hands-on study guide is designed to

Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

Yazar

Sukthankar, Gita. editor. (orcid)0000-0002-6863-6609

https://doi.org/10.1007/978-3-319-71682-4

Format:

Electronic Resources

Alıntı:

-- Event Calculus agent minds applied to diabetes monitoring -- Multiple-Profile Prediction-of-Use Games. .

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Yazar

Diaz, Josep. editor.

http://dx.doi.org/10.1007/978-3-662-44602-7

Format:

Electronic Resources

Alıntı:

Conjunctions as Sets -- From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

Yazar

Balduccini, Marcello. editor.

https://doi.org/10.1007/978-3-319-61660-5

Format:

Electronic Resources

Alıntı:

Event Calculus -- Contextual Reasoning: Usually Birds can Abductively Fly -- Including Quantification in

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Yazar

Esparza, Javier. editor.

http://dx.doi.org/10.1007/978-3-662-43951-7

Format:

Electronic Resources

Alıntı:

Infinitary Affine Lambda-Calculus -- On the Positivity Problem for Simple Linear Recurrence Sequences

10.

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

Yazar

Hong, Hoon. editor.

http://dx.doi.org/10.1007/978-3-662-44199-2

Format:

Electronic Resources

Alıntı:

Calculus to Algorithms without Errors -- Dense Arithmetic over Finite Fields with the CUMODP Library.

	{displayName}	{count}
{error}