Search Results for Logic programming.

Select an Action

3 Results Found

000DEFAULT

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.

Cruz, Flávio Manuel Fernandes, author.

Format:

Excerpt:

Linear Logic and Coordination for Parallel Programming / Cruz, Flávio Manuel Fernandes, author.

Nguyen Luu, Danh, author.

Format:

Excerpt:

phrased in the language of Presburger Arithmetic (PA), which is the first order logic on the integers with

Taylor, Thomas Philip Muir, author.

Format:

Excerpt:

decision tree are documented in the form of flow diagrams. All programming was done in assembly language

Select an Action

	{displayName}	{count}
{error}