WorldCat Identities

Sigal, Ron

Overview
Works: 5 works in 27 publications in 1 language and 682 library holdings
Genres: Travelogues (Motion pictures)  Nonfiction films 
Roles: Editor, Author
Publication Timeline
.
Most widely held works by Ron Sigal
Computability, complexity, and languages : fundamentals of theoretical computer science by Martin Davis( Book )

21 editions published between 1994 and 2009 in English and held by 667 WorldCat member libraries worldwide

This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes very little background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability
Rio Negro( Visual )

1 edition published in 2011 in English and held by 7 WorldCat member libraries worldwide

A river boat journey of several days can reveal Brazil in its most natural form. Go upstream along the Rio Negro into an immense jungle area and journey into the mysterious world of the Amazon. Begin in Manaus, capital city of the Brazilian state of Amazonas which is completely surrounded by impenetrable forest. Then on to Anavilhanas Archipelago, the largest fresh water archipelago on Earth. End the tour near Manaus where the black water of the Rio Negro meets with the flow of the Rio Solimeos
Computability, complexity, and languages by Martin Davis( )

2 editions published in 1994 in English and held by 5 WorldCat member libraries worldwide

This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability. * Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page. * The number of exercises included has more than tripled. * Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements
Undecidable complexity statements in a hierarchy of extensions of primitive recursive arithmetic by Ron Sigal( Book )

2 editions published in 1983 in English and held by 2 WorldCat member libraries worldwide

<> by Martin Davis( Book )

1 edition published in 2009 in English and held by 1 WorldCat member library worldwide

 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.49 (from 0.49 for Computabil ... to 0.89 for <> ...)

Computability, complexity, and languages : fundamentals of theoretical computer science
Covers
Languages
English (27)