Amanote Research
Register
Sign In
A Pedagogically Targeted Logic Design and Simulation Tool
doi 10.1145/1275633.1275635
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2007
Authors
David A. Poplawski
Publisher
ACM Press
Related search
Tabled Logic Programming Based IP Matching Tool Using Forced Simulation
IEE Proceedings - Computers and Digital Techniques
Distributed Simulation for a Modeling and Simulation Tool: Papyrus
Modeling and Simulation Tool for Sustainable MC Supply Chain Design and Assessment
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Performance Improvement of QCA Design XOR Logic Gate Using Bistable Simulation Engine Vector
International Journal of Trend in Scientific Research and Development
Numerical Tool for SMA Material Simulation: Application to Composite Structure Design
Smart Materials and Structures
Mechanics of Materials
Electronic Engineering
Signal Processing
Condensed Matter Physics
Materials Science
Civil
Molecular Physics,
Structural Engineering
Electrical
Atomic
Optics
Fly-By-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Chip-Controlled 3-D Complex Cutting Tool Insert Design and Virtual Manufacturing Simulation
Targeted Search and Platform Design
SSRN Electronic Journal
Temporal Logic Query Checking: A Tool for Model Exploration
IEEE Transactions on Software Engineering
Software