Representation and Analysis of Electrical Circuits in a Deductive System.

Takushi Tanaka

Browse the full IJCAI paper archive.