BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Logic and Language Models for Computer Science

Logic and Language Models for Computer Science

Logic and Language Models for Computer Science
Stock photo: cover may vary

Logic and Language Models for Computer Science Paperback - 2002

by Hamburger, Henry; Richards, Dana

Add to wish list
  • Used
  • very good
  • first
Used - Very good

Description

Pearson. First Edition. Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Ask the seller a question Add to wish list
A$19.59
Free Delivery within USA
Standard delivery: 7 to 14 days
More delivery options
Ships from BooksRun (Pennsylvania, United States)

Details

  • Title Logic and Language Models for Computer Science
  • Author Hamburger, Henry; Richards, Dana
  • Binding Paperback
  • Edition First Edition
  • Condition Used - Very good
  • Pages 341
  • Volumes 1
  • Language ENG
  • Publisher Pearson, Lebanon, Indiana, U.S.A.
  • Publication date 2002-01
  • Illustrated Yes
  • Bookseller's Inventory # 0130654876-11-1
  • ISBN 9780130654878 / 0130654876
  • Weight 1.53 lbs (0.69 kg)
  • Dimensions 9.54 x 7.08 x 0.71 in (24.23 x 17.98 x 1.80 cm)
  • Category Computers - Languages / Programming
  • Library of Congress subjects Artificial intelligence, Formal languages
  • Library of Congress Catalogue Number 2002284721
  • Dewey Decimal Code 005.131
  • Quantity available 1

About BooksRun Pennsylvania, United States

Specialising in: Textbooks
Biblio member since 2016

BooksRun - best place to buy, sell or rent cheap textbooks

Terms of Sale:

30 days return guarantee. 10% restocking fee applies to discretionary returns

Browse books from BooksRun

Reader reviews for Logic and Language Models for Computer Science

From the publisher

This text makes in-depth explorations of a broad range of theoretical topics in computer science. It plunges into the applications of the abstract concepts in order to confront and address the skepticism of readers, and instill in them an appreciation for the usefulness of theory. A two-part presentation integrates logic and formal language both with applications. Chapter topics cover mathematical preliminaries, propositional logic, proving things: why and how, predicate logic, proving with predicates, program verification, logic programming, language models for computer science, language models, finite automata and their languages, regular expressions, Lex: a tool for building lexical scanners, context-free grammars, pushdown automata and parsing, and turing machines. For future computer scientists. "

About the author

"Henry Hamburger " is a Professor and Chairman of the Department of Computer Science at George Mason University.

"Dana Richards " is an Associate Professor with the Department of Computer Science at George Mason University.

tracking-