English Deutsch Français 简体中文 繁體中文
Book123, Download eBooks for Free - Anytime! Submit your article
Equational



 
 
 
 

Equational


Results Equational Ebook : 1 to 6 of 6
 
Equational

Free Download, Unlimited Speed. Download now at an incredible speed!

Sponsored links


Fuzzy Equational Logic Fuzzy Equational Logic
Radim Belohlávek, Vilem Vychodil, «Fuzzy Equational Logic»Springer; ISBN: 3540262547; 2004; PDF; 283 pages; 3.03 MBThe present book deals with algebras, congruences, morphisms, reasoning about identities, classes of algebras and the ...  
Tags : Logic   Equational   Fuzzy   , Posted on 2010-04-14
 
Foundations of Equational Logic Programming Study Foundations of Equational Logic Programming
Foundations of Equational Logic ProgrammingSpringer; ISBN: 354051533X; 1989-11-14; PDF; 250 pages; 12 Mb Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposal ...  
Tags : Programming   Logic   Equational   Foundations   , Posted on 2010-03-16
 
Fuzzy Equational Logic (Studies in Fuzziness and Soft Computing) Science/Engineering Fuzzy Equational Logic (Studies in Fuzziness and Soft Computing)
Fuzzy Equational Logic (Studies in Fuzziness and Soft Computing) By Radim Belohlávek, Vilém Vychodil, Publisher: Springer Number Of Pages: 283 Publication Date: 2005-09-29 Sales Rank: 2951125 ISBN / ASIN: 3540262547 EAN: 978 ...  
Tags : Computing   Logic   Studies   Soft   Equational   , Posted on 2010-03-15
 
Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Artificial Intelligence 1095) Physics Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Artificial Intelligence 1095)
Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Artificial Intelligence 1095): William McCune, R. Padmanabhan Springer; ISBN: 3540613986; 1996-01-15; PDF (OCR); 231 pages; 8.52 Mb This monograph is the resul ...  
Tags : Deduction   Lecture   Intelligence   Logic   Notes   , Posted on 2010-04-14
 
Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science) Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science)
Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science)By J. C. M. Baeten, T. Basten, M. A. ReniersPublisher: Cambridge University Press; 1 edition; 2009; 476 Pages; ISBN: 052182 ...  
Tags : Algebra   Science   Process   Computer   Cambridge   , Posted on 2010-07-19
 
Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Technical Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN: 3540613986 Publisher: Springer Author: William McCune, R. PadmanabhanDescription:This monograph is the result of the cooperation of a mathematician working in universal algebra and geometry, and a computer scientist working in automat ...  
Tags : Deduction   Lecture   Notes   Intelligence   Logic   , Posted on 2010-04-13
 



Sign In | Not yet a member?