Login
中文
Norbert E Fuchs
HIndex: 13
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Logic
Satisfiability
Knowledge base
Software development
Semantic Web
Software requirements specification
Software Engineering
Formal language
Natural language
Formal specification
Natural language user interface
Front and back ends
Knowledge representation and reasoning
Database
Program analysis
Automated theorem proving
Computer Science
Artificial intelligence
Definite clause grammar
Formal methods
Decision support system
Evaluation function
Specification language
First-order logic
Automated reasoning
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Logic
Satisfiability
Knowledge base
Software development
Semantic Web
Software requirements specification
Software Engineering
Formal language
Natural language
Formal specification
Natural language user interface
Front and back ends
Knowledge representation and reasoning
Database
Program analysis
Automated theorem proving
Computer Science
Artificial intelligence
Definite clause grammar
Formal methods
Decision support system
Evaluation function
Specification language
First-order logic
Automated reasoning
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Norbert E Fuchs
University Of Zurich
63
Norbert E Fuchs
University Of Zurich
12
Norbert E Fuchs
Alcatel Lucent
2
×
Share to your followers
Submit