Steel framed structures
Author: R. Narayanan
Type: eBook
Language: English
Released: 1990
Publisher: Routledge
Page Count: 341
Format: pdf
ISBN-10: 0853343292
ISBN-13: 9780853343295
Tags:Steel framed structures, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve
Description:
This book constitutes the refereed proceedings of the 1998 International Conference on Analytic Tableaux and Related Methods, TABLEAUX'98, held in Oisterwijk near Tilburg, The Netherlands, in May 1998. The volume presents 17 revised full papers and three system descriptions selected from 34 submissions; also included are several abstracts of invited lectures, tutorials, and system comparison papers. The book presents new research results for automated deduction in various non-standard logics as well as in classical logic. Areas of application include software verification, systems verification, deductive databases, knowledge representation and its required inference engines, and system diagnosis.
Related links:
The King of Thieves
Biogeochemistry in Mineral Exploration
Computer Science Logic, 10 conf., CSL '96
Singularities, Representation of Algebras, and Vector Bundles
