Total Books: 1 - 4 /4
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Lee mas
Multi-Agent Programming
Part I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...
Lee mas
Pro J2ME Polish
The book describes the open-source tools collection J2ME Polish, and shows how the tools can be used for creating professional ...
Lee mas
mm-Wave Silicon Technology : 60 GHz and Beyond
mm-Wave Silicon Technology: 60GHz and Beyond covers silicon-based millimeter wave circuits and systems. It provides in depth ...
Lee mas
Total Books: 1 - 4 /4
