Logic, Language and Computation Festschrift in Honor of Satoru Takasu

Logic, Language and Computation Festschrift in Honor of Satoru Takasu / edited by Neil Jones, Masami Hagiya, Masahiko Sato.

This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic, and its realization and applications to computer science; others concern synthesis, transformation and implementation of programming languages, and complexity...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Jones, Neil (Editor), Hagiya, Masami (Editor), Sato, Masahiko (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994.
Edition:1st ed. 1994.
Series:Lecture Notes in Computer Science, 792
Springer eBook Collection.
Subjects:
Mathematical logic.
Computers.
Architecture, Computer.
Computer logic.
Programming languages (Electronic computers).
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items