Filteren
Sorteren
5 resultaten
gebondenEngels9783030631888
4-1-2022
In this book the author presents some techniques for exploring trees and graphs. He illustrates the linear search technique and the backtracking technique, and as instances of tree exploration methods he presents various algorithms for parsing subclasses of context-free languages. Meer
paperbackEngels9783030631918
5-1-2023
In this book the author presents some techniques for exploring trees and graphs. He illustrates the linear search technique and the backtracking technique, and as instances of tree exploration methods he presents various algorithms for parsing subclasses of context-free languages. Meer
paperbackEngels9783031119644
13-8-2022
Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well as for understanding the various processes that take place when manipulating knowledge if that knowledge is, indeed, expressed as sentences written in a suitably formalized language. Meer
paperbackEngels9783540439158
17-7-2002
ThisvolumecontainsthepapersfromLOPSTR2001,the11thInternational WorkshoponLogic-basedProgramSynthesisandTransformation. Topicsof- teresttoLOPSTRcoverallaspectsoflogic-basedprogramdevelopmentand,in particular, speci? Meer
paperbackEngels9783540562825
2-12-1992
This volume contains lectures and papers delivered at Meta
92, the Third International Workshop on Metaprogramming in
Logic, held in Uppsala, Sweden,June 1992. Meer