Search Results for Language and logic.

104 Results Found

1 .. 3 4 5 6 7 .. 9

000000000000DEFAULT

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

Cover image for Artificial intelligence V : methodology, systems, applications : proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'92) Sofia, Bulgaria, 21-24 September, 1992

49.

Artificial intelligence V : methodology, systems, applications : proceedings of the Fifth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA'92) Sofia, Bulgaria, 21-24 September, 1992

International Conference on Artificial Intelligence: Methodology, Systems, Applications (5th : 1992 : Sofia, Bulgaria)

ScienceDirect http://www.sciencedirect.com/science/book/9780444897527

Format:

Excerpt:

reasoning, natural language processing, and logic methods in AI. There are also more applied papers in the

50.

Computer programming and formal systems

Braffort, P. (Paul), editor.

ScienceDirect https://www.sciencedirect.com/science/book/9780444534002
ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/35
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=35

Format:

Excerpt:

-- Abstract computer with a lisp-like machine language without a label operator / P.C. Gilmore -- AS implified

51.

Computer programming and formal systems

Braffort, P. (Paul)

ScienceDirect http://www.sciencedirect.com/science/book/9780444533913

Format:

Excerpt:

-- Abstract computer with a lisp-like machine language without a label operator / P.C. Gilmore -- AS implified

52.

Social Reading in the Digital Age

Hegel, Allison, author.

http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10829788

Format:

Excerpt:

including machine learning and natural language processing to analyze hundreds of thousands of online book

53.

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

Zhan, Naijun. author.

http://dx.doi.org/10.1007/978-3-319-47016-0

Format:

Excerpt:

/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic

54.

Formal Methods for Discrete-Time Dynamical Systems

Belta, Calin. author.

http://dx.doi.org/10.1007/978-3-319-50763-7

Format:

Excerpt:

-- Parameter Synthesis -- Temporal Logic Control -- Finite Bisimulations -- Language Guided Controller

55.

Introduction to Morphogenetic Computing

Resconi, Germano. author.

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

Format:

Excerpt:

database, language, nanotechnology with defects, biological genetic structure, electrical circuit, and big

56.

The joy of finite mathematics : the language and art of math

Tsokos, Chris P., author.

Click to View

Format:

Excerpt:

mathematics through a foundational understanding of the underlying symbolic language and its many dialects

57.

Systemic Structure Behind Human Organizations From Civilizations to Individuals

Lin, Yi.

http://dx.doi.org/10.1007/978-1-4614-2311-9

Format:

Excerpt:

directors. By creating a uniform language and logic of reasoning, the book provides examples and convincing

58.

Systems Thinking Intelligence in Action

Mella, Piero.

http://dx.doi.org/10.1007/978-88-470-2565-3

Format:

Excerpt:

information on Systems Thinking but above all to gradually learn the logic and techniques that make this way

59.

Origins on the genesis of psychic reality

Mills, Jon, 1964-

Click to View

Format:

Excerpt:

articulate a psychoanalytic metaphysics based on process thought, the author uses dialectical logic to show

60.

Starting with Heidegger

Greaves, Thomas C.

Click to View

Format:

Excerpt:

-- Tackling the world around us -- Environmental breakdown and recovery -- Our world owns itself -- Anyone and

	{displayName}	{count}
{error}