Skip to content
Texas A&M University Libraries
  • MyLibrary
  • Help

Libraries Catalog

Advanced
  • Program development in computa...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Cover Image

Program development in computational logic : a decade of research advances in logic-based program development /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Bruynooghe, M. (Maurice), Lau, K.-K. (Kung-Kiu), 1953-
Format: eBook
Language:English
Published: Berlin ; New York : Springer, [2004]
Series:Lecture notes in computer science ; 3049.
Lecture notes in computer science. State-of-the-art survey.
Subjects:
Logic programming.
Computer logic.
Logique informatique.
Programmation logique.
Logique computationnelle.
Computational logic.
Logische Programmierung.
Programmsynthese.
Programmtransformation.
Softwareentwicklung.
Electronic books.
Aufsatzsammlung.
Online Access:Connect to the full text of this electronic book
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3049
  • Holdings
  • Description
  • Table of Contents
  • Similar Items
  • Staff View

Internet

Connect to the full text of this electronic book
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3049

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.63 .P74 2004
 
Call Number Status Get It
QA76.63 .P74 2004 Available
  • howdy.tamu.edu
  • Off-Campus Access
  • Texas A&M University
  • Site Policies
  • Accessibility
  • Texas CREWS
  • Comments
  • Services Status
Loading...