Coq Logic.v

核心逻辑（core.logic）是Clojure编程语言中的一个库，专门用于进行逻辑编程。这个库提供了基于Prolog的约束逻辑编程（CLP）框架，使得开发者可以以声明性的方式处理问题，而不是传统的命

Library of Congress Cataloging-in-Publication Data Barwise, Jon. Language, proof and logic / Jon Bar

A logic of authentic.pdf

Saleae逻辑分析仪应用是用于分析单片机、ARM、FPGA利器,该软件为Saleae逻辑分析仪的必备应用软件,

ProbabilityTheory-TheLogicOfScience

另一个有用的四值逻辑，林作铨，贾肇聪，本文提出一个具有直观语义的新四值逻辑,其联词对理解常识知识、自然语言和哲学中的矛盾很有用,其直观语义反映了任何判断据所拥有�

PADS9.3_Logic

RBSlogic题库，帮助测试逻辑思维能力，祝你通过面试环节……

ALTERA可编程逻辑器件及其应用，是对于初学者极有意义的一本书。

THEDESCRIPTIONLOGICHANDBOOK:Theory,implementation,andapplications